expr Directory Reference

Files
file	command.h [code]
	Implementation of the command pattern on SmtEngines.
file	expr_stream.h [code]
	A stream interface for expressions.
file	options.h [code]
	options.h
file	pickler.h [code]
	This is a "pickler" for expressions.
file	symbol_table.h [code]
	Convenience class for scoping variable and type declarations.
file	type.h [code]
	Interface for expression types.
file	variable_type_map.h [code]
	[[ Add one-line brief description here ]]