Abstract class for computing expr type. More...
#include <expr_manager.h>
Inherited by CVC3::TypeComputerCore.
Collaboration diagram for CVC3::ExprManager::TypeComputer:
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. | |
Detailed Description
Abstract class for computing expr type.
Definition at line 183 of file expr_manager.h.
The documentation for this class was generated from the following file:
