List of all members.
Public Member Functions
Detailed Description
Definition at line 33 of file datatype_proof_rules.h.
Constructor & Destructor Documentation
virtual CVC3::DatatypeProofRules::~DatatypeProofRules |
( |
|
) |
[inline, virtual] |
Member Function Documentation
virtual Theorem CVC3::DatatypeProofRules::dummyTheorem |
( |
const CDList< Theorem > & |
facts, |
|
|
const Expr & |
e | |
|
) |
| | [pure virtual] |
virtual Theorem CVC3::DatatypeProofRules::rewriteSelCons |
( |
const CDList< Theorem > & |
facts, |
|
|
const Expr & |
e | |
|
) |
| | [pure virtual] |
virtual Theorem CVC3::DatatypeProofRules::rewriteTestCons |
( |
const Expr & |
e |
) |
[pure virtual] |
virtual Theorem CVC3::DatatypeProofRules::decompose |
( |
const Theorem & |
e |
) |
[pure virtual] |
virtual Theorem CVC3::DatatypeProofRules::noCycle |
( |
const Expr & |
e |
) |
[pure virtual] |
The documentation for this class was generated from the following file: