CVC3  2.4.1
Public Member Functions | Private Attributes
CVC3::TypeComputerCore Class Reference
Inheritance diagram for CVC3::TypeComputerCore:
CVC3::ExprManager::TypeComputer

List of all members.

Public Member Functions

Private Attributes


Constructor & Destructor Documentation

CVC3::TypeComputerCore::TypeComputerCore ( TheoryCore core) [inline]

Definition at line 73 of file theory_core.cpp.


Member Function Documentation

void CVC3::TypeComputerCore::computeType ( const Expr e) [inline, virtual]
void CVC3::TypeComputerCore::checkType ( const Expr e) [inline, virtual]

Check that e is a valid Type expr.

Implements CVC3::ExprManager::TypeComputer.

Definition at line 82 of file theory_core.cpp.

References CVC3::Expr::isType(), CVC3::Expr::toString(), and CVC3::Expr::setValidType().

Cardinality CVC3::TypeComputerCore::finiteTypeInfo ( Expr e,
Unsigned n,
bool  enumerate,
bool  computeSize 
) [inline, virtual]

Get information related to finiteness of a type.

Implements CVC3::ExprManager::TypeComputer.

Definition at line 89 of file theory_core.cpp.

References DebugAssert, and CVC3::Expr::isType().


Member Data Documentation

Definition at line 71 of file theory_core.cpp.


The documentation for this class was generated from the following file: