CVC3 2.2
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


Detailed Description

Definition at line 69 of file theory_core.cpp.


Constructor & Destructor Documentation

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

Definition at line 72 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 81 of file theory_core.cpp.

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

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 88 of file theory_core.cpp.

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


Member Data Documentation

Definition at line 70 of file theory_core.cpp.


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