CVC3::TheoryUF::TCMapPair Struct Reference

Collaboration diagram for CVC3::TheoryUF::TCMapPair:

Collaboration graph
[legend]
List of all members.

Public Attributes


Detailed Description

Definition at line 53 of file theory_uf.h.


Member Data Documentation

ExprMap<CDList<Theorem>*> CVC3::TheoryUF::TCMapPair::appearsFirstMap

Definition at line 54 of file theory_uf.h.

Referenced by CVC3::TheoryUF::assertFact().

ExprMap<CDList<Theorem>*> CVC3::TheoryUF::TCMapPair::appearsSecondMap

Definition at line 55 of file theory_uf.h.

Referenced by CVC3::TheoryUF::assertFact().


The documentation for this struct was generated from the following file:
Generated on Wed Nov 18 16:17:13 2009 for CVC3 by  doxygen 1.5.2