CVC3
2.4.1
|
Public Attributes | |
ExprMap< CDList< Theorem > * > | appearsFirstMap |
ExprMap< CDList< Theorem > * > | appearsSecondMap |
Definition at line 54 of file theory_uf.h.
Definition at line 55 of file theory_uf.h.
Referenced by CVC3::TheoryUF::assertFact().
Definition at line 56 of file theory_uf.h.
Referenced by CVC3::TheoryUF::assertFact().