Main Page | Namespace List | Class Hierarchy | Class List | File List | Namespace Members | Class Members | File Members

gbdd::StructureConstraint Class Reference

#include <structure-constraint.h>

Inheritance diagram for gbdd::StructureConstraint:

gbdd::BoolConstraint gbdd::Bdd List of all members.

Public Types

typedef Domain::VarMap VarMap
typedef Domain::Var Var

Public Member Functions

virtual ~StructureConstraint ()
virtual Factoryptr_factory () const=0
virtual StructureConstraintptr_rename (VarMap map) const=0
 Rename variables.

StructureConstraintptr_rename (const Domain &vs1, const Domain &vs2) const
 Rename variables.

virtual StructureConstraintptr_project (Domain vs) const=0
 Project variables.

virtual StructureConstraintptr_constrain_value (Var v, bool value) const=0
 Constrain variable.

virtual StructureConstraintptr_product (const StructureConstraint &b2, bool(*fn)(bool v1, bool v2)) const=0
 Product.

virtual StructureConstraintptr_negate () const=0
 Negation.

virtual StructureConstraintptr_clone () const=0
 Cloning.

virtual Var highest_var () const=0
 Get highest variable occuring in this object.

virtual Var lowest_var () const=0
 Get lowest variable occuring in this object.

virtual bool operator== (const StructureConstraint &b2) const=0
 Equality.


Static Public Member Functions

bool fn_or (bool v1, bool v2)
bool fn_and (bool v1, bool v2)
bool fn_neq (bool v1, bool v2)
bool fn_iff (bool v1, bool v2)
bool fn_implies (bool v1, bool v2)
bool fn_minus (bool v1, bool v2)

Detailed Description

A structure based on BDDs


Member Typedef Documentation

typedef Domain::Var gbdd::StructureConstraint::Var
 

Reimplemented in gbdd::Bdd.

typedef Domain::VarMap gbdd::StructureConstraint::VarMap
 

Reimplemented in gbdd::Bdd.


Constructor & Destructor Documentation

virtual gbdd::StructureConstraint::~StructureConstraint  )  [inline, virtual]
 


Member Function Documentation

bool gbdd::StructureConstraint::fn_and bool  v1,
bool  v2
[inline, static]
 

bool gbdd::StructureConstraint::fn_iff bool  v1,
bool  v2
[inline, static]
 

bool gbdd::StructureConstraint::fn_implies bool  v1,
bool  v2
[inline, static]
 

bool gbdd::StructureConstraint::fn_minus bool  v1,
bool  v2
[inline, static]
 

bool gbdd::StructureConstraint::fn_neq bool  v1,
bool  v2
[inline, static]
 

bool gbdd::StructureConstraint::fn_or bool  v1,
bool  v2
[inline, static]
 

virtual Var gbdd::StructureConstraint::highest_var  )  const [pure virtual]
 

Get highest variable occuring in this object.

Returns:
The highest variable occuring in this object, or 0 if none

Implemented in gbdd::Bdd.

virtual Var gbdd::StructureConstraint::lowest_var  )  const [pure virtual]
 

Get lowest variable occuring in this object.

Returns:
The lowest variable occuring in this object, or 0 if none

Implemented in gbdd::Bdd.

virtual bool gbdd::StructureConstraint::operator== const StructureConstraint b2  )  const [pure virtual]
 

Equality.

Parameters:
b2 structure constraint object to compare with
Returns:
Whether this object and b2 are equivalent

Implemented in gbdd::Bdd.

virtual StructureConstraint* gbdd::StructureConstraint::ptr_clone  )  const [pure virtual]
 

Cloning.

Returns:
A copy of this object

Implemented in gbdd::Bdd.

virtual StructureConstraint* gbdd::StructureConstraint::ptr_constrain_value Var  v,
bool  value
const [pure virtual]
 

Constrain variable.

Parameters:
v Variable to constrain
value Value to constrain v with
Returns:
The structure constraint object with set to value

Implemented in gbdd::Bdd.

virtual Factory* gbdd::StructureConstraint::ptr_factory  )  const [pure virtual]
 

Implemented in gbdd::Bdd, and gbdd::BoolConstraint.

virtual StructureConstraint* gbdd::StructureConstraint::ptr_negate  )  const [pure virtual]
 

Negation.

Returns:
Negation of this object

Implemented in gbdd::Bdd.

virtual StructureConstraint* gbdd::StructureConstraint::ptr_product const StructureConstraint b2,
bool(*  fn)(bool v1, bool v2)
const [pure virtual]
 

Product.

Parameters:
b2 structure constraint object to take product with
fn Product function
Returns:
Product of this object and b2 with respect to fn

Implemented in gbdd::Bdd.

virtual StructureConstraint* gbdd::StructureConstraint::ptr_project Domain  vs  )  const [pure virtual]
 

Project variables.

Parameters:
vs Domain to project
Returns:
The structure constraint object with the variables in vs projected away

Implemented in gbdd::Bdd.

StructureConstraint* gbdd::StructureConstraint::ptr_rename const Domain vs1,
const Domain vs2
const [inline]
 

Rename variables.

vs1 and vs2 must be of the same size

Parameters:
vs1 First set of variables
vs2 Second set of variables
Returns:
Thee structure constraint object renamed such that vs1[i] is renamed to vs2[i]

virtual StructureConstraint* gbdd::StructureConstraint::ptr_rename VarMap  map  )  const [pure virtual]
 

Rename variables.

Parameters:
map Renaming
Returns:
The structure constraint object renamed with map

Implemented in gbdd::Bdd.


The documentation for this class was generated from the following file:
Generated on Thu Aug 12 13:21:43 2004 for gbdd by doxygen 1.3.6