CVC3

Structure to hold user assertions indexed by declaration order. More...
Structure to hold user assertions indexed by declaration order.
CVC3::VCL::UserAssertion::UserAssertion  (  )  [inline] 
const Theorem& CVC3::VCL::UserAssertion::thm  (  )  const [inline] 
Fetching a Theorem.
Definition at line 101 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] 
Definition at line 91 of file vcl.h.
Referenced by operator Theorem().
Theorem CVC3::VCL::UserAssertion::d_thm [private] 
Theorem CVC3::VCL::UserAssertion::d_tcc [private] 