Collaboration diagram for CVC3::VCL::UserAssertion:
Definition at line 84 of file vcl.h.
CVC3::VCL::UserAssertion::UserAssertion | ( | ) | [inline] |
const Theorem& CVC3::VCL::UserAssertion::thm | ( | ) | const [inline] |
Fetching a Theorem.
Definition at line 95 of file vcl.h.
Referenced by CVC3::VCL::getAssumptionsRec().
const Theorem& CVC3::VCL::UserAssertion::tcc | ( | ) | const [inline] |
CVC3::VCL::UserAssertion::operator Theorem | ( | ) | [inline] |
bool operator< | ( | const UserAssertion & | a1, | |
const UserAssertion & | a2 | |||
) | [friend] |
size_t CVC3::VCL::UserAssertion::d_idx [private] |
Theorem CVC3::VCL::UserAssertion::d_thm [private] |
Theorem CVC3::VCL::UserAssertion::d_tcc [private] |