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