CVC3
2.4.1
|
Abstract class for computing expr type. More...
#include <expr_manager.h>
Public Member Functions | |
TypeComputer () | |
virtual | ~TypeComputer () |
virtual void | computeType (const Expr &e)=0 |
Compute the type of e. More... | |
virtual void | checkType (const Expr &e)=0 |
Check that e is a valid Type expr. More... | |
virtual Cardinality | finiteTypeInfo (Expr &e, Unsigned &n, bool enumerate, bool computeSize)=0 |
Get information related to finiteness of a type. More... | |
Abstract class for computing expr type.
Definition at line 183 of file expr_manager.h.