expr Directory Reference
Directory dependency graph for expr:

## Files

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