Parma_Polyhedra_Library::Determinate< PSET > Class Template Reference
[C++ Language Interface]

Wraps a PPL class into a determinate constraint system interface. More...

#include <ppl.hh>

List of all members.

Public Member Functions

Constructors and Destructor

 Determinate (const PSET &p)
 Injection operator: builds the determinate constraint system element corresponding to the base-level element p.
 Determinate (const Constraint_System &cs)
 Injection operator: builds the determinate constraint system element corresponding to the base-level element represented by cs.
 Determinate (const Congruence_System &cgs)
 Injection operator: builds the determinate constraint system element corresponding to the base-level element represented by cgs.
 Determinate (const Determinate &y)
 Copy constructor.
 ~Determinate ()
 Destructor.
Member Functions that May Modify the Domain Element

void upper_bound_assign (const Determinate &y)
 Assigns to *this the upper bound of *this and y.
void meet_assign (const Determinate &y)
 Assigns to *this the meet of *this and y.
void weakening_assign (const Determinate &y)
 Assigns to *this the result of weakening *this with y.
void concatenate_assign (const Determinate &y)
 Assigns to *this the concatenation of *this and y, taken in this order.
PSET & element ()
 Returns a reference to the embedded element.
void mutate ()
Determinateoperator= (const Determinate &y)
 Assignment operator.
void swap (Determinate &y)
 Swaps *this with y.

Member Functions that Do Not Modify the Domain Element



const PSET & element () const
 Returns a const reference to the embedded element.
bool is_top () const
 Returns true if and only if *this is the top of the determinate constraint system (i.e., the whole vector space).
bool is_bottom () const
 Returns true if and only if *this is the bottom of the determinate constraint system.
bool definitely_entails (const Determinate &y) const
 Returns true if and only if *this entails y.
bool is_definitely_equivalent_to (const Determinate &y) const
 Returns true if and only if *this and y are equivalent.
memory_size_type total_memory_in_bytes () const
 Returns a lower bound to the total size in bytes of the memory occupied by *this.
memory_size_type external_memory_in_bytes () const
 Returns a lower bound to the size in bytes of the memory managed by *this.
bool OK () const
 Checks if all the invariants are satisfied.
static bool has_nontrivial_weakening ()

Detailed Description

template<typename PSET>
class Parma_Polyhedra_Library::Determinate< PSET >

Wraps a PPL class into a determinate constraint system interface.


Member Function Documentation

template<typename PSET >
bool Parma_Polyhedra_Library::Determinate< PSET >::has_nontrivial_weakening (  )  [inline, static]

Returns true if and only if this domain has a nontrivial weakening operator.


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

Generated on Sat Oct 24 11:22:03 2009 for PPL by  doxygen 1.6.1-20091004