Main Page | Modules | Namespace List | Class Hierarchy | Class List | Namespace Members | Class Members | Related Pages

Parma_Polyhedra_Library::AskTell_Pair< CS > Class Template Reference

A pair of (ask and tell) constraints. More...

List of all members.

Public Member Functions

 AskTell_Pair (const CS &ask, const CS &tell)
 Pair constructor.
const CS & ask () const
 Const accessor to the ask component.
CS & ask ()
 Non-const accessor to the ask component.
const CS & tell () const
 Const accessor to the ask component.
CS & tell ()
 Non-const accessor to the tell component.
bool definitely_entails (const AskTell_Pair &y) const
 Returns true if *this definitely entails y. Returns false if *this may not entail y (i.e., if *this does not entail y or if entailment could not be decided).


Detailed Description

template<typename CS>
class Parma_Polyhedra_Library::AskTell_Pair< CS >

A pair of (ask and tell) constraints.


Generated on Wed Aug 18 18:41:40 2004 for PPL by doxygen 1.3.8-20040812