CVC3
Public Attributes | List of all members
CVC3::TheoryUF::TCMapPair Struct Reference
Collaboration diagram for CVC3::TheoryUF::TCMapPair:
Collaboration graph

Public Attributes

ExprMap< CDList< Theorem > * > appearsFirstMap
 
ExprMap< CDList< Theorem > * > appearsSecondMap
 

Detailed Description

Definition at line 54 of file theory_uf.h.

Member Data Documentation

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

Definition at line 55 of file theory_uf.h.

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

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

Definition at line 56 of file theory_uf.h.

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


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