gbdd::StructureConstraint Class Reference

#include <structure-constraint.h>

Inheritance diagram for gbdd::StructureConstraint:

List of all members.

Public Types
typedef Domain::VarMap	VarMap
typedef Domain::Var	Var
Public Member Functions
virtual	~StructureConstraint ()
virtual Factory *	ptr_factory () const=0
virtual StructureConstraint *	ptr_rename (VarMap map) const=0
	Rename variables.
StructureConstraint *	ptr_rename (const Domain &vs1, const Domain &vs2) const
	Rename variables.
virtual StructureConstraint *	ptr_project (Domain vs) const=0
	Project variables.
virtual StructureConstraint *	ptr_constrain_value (Var v, bool value) const=0
	Constrain variable.
virtual StructureConstraint *	ptr_product (const StructureConstraint &b2, bool(*fn)(bool v1, bool v2)) const=0
	Product.
virtual StructureConstraint *	ptr_negate () const=0
	Negation.
virtual StructureConstraint *	ptr_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:

• structure-constraint.h

---