CVCL::TheoryUF::TCMapPair Struct Reference

Collaboration diagram for CVCL::TheoryUF::TCMapPair:

[legend]List of all members.

Public Attributes

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

---

Detailed Description

Definition at line 65 of file theory_uf.h.

---

Member Data Documentation

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

Definition at line 66 of file theory_uf.h. Referenced by CVCL::TheoryUF::assertFact().

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

Definition at line 67 of file theory_uf.h. Referenced by CVCL::TheoryUF::assertFact().

---

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

• theory_uf.h

---