Generated on Wed Nov 1 15:05:21 2006 for Gecode by doxygen 1.4.5
Gecode::MiniModel::BoolExpr

Gecode::MiniModel::BoolExpr Class Reference

#include <minimodel.hh>

List of all members.

Detailed Description

Boolean expressions.

Definition at line 313 of file minimodel.hh.

Public Types

enum  NodeType {
  BT_VAR, BT_NOT, BT_AND, BT_OR,
  BT_IMP, BT_XOR, BT_EQV, BT_RLIN
}
 Type of Boolean expression. More...

Public Member Functions

 BoolExpr (const BoolExpr &e)
 Copy constructor.
 BoolExpr (const BoolExpr &l, NodeType t, const BoolExpr &r)
 Construct expression for type and subexpresssions.
 BoolExpr (const BoolVar &x)
 Construct expression for variable.
 BoolExpr (const BoolExpr &e, NodeType t)
 Construct expression for negation.
 BoolExpr (const LinRel &rl)
 Construct expression for reified linear relation.
BoolVar post (Space *home) const
 Post propagators for expression.
void post (Space *home, bool t) const
 Post propagators for relation.
const BoolExpr & operator= (const BoolExpr &e)
 Assignment operator.
 ~BoolExpr (void)
 Destructor.

Classes

class  Node
 Node for Boolean expression. More...

Member Enumeration Documentation

enum Gecode::MiniModel::BoolExpr::NodeType
 

Type of Boolean expression.

Enumerator:
BT_VAR  Variable.
BT_NOT  Negation.
BT_AND  Conjunction.
BT_OR  Disjunction.
BT_IMP  Implication.
BT_XOR  Exclusive or.
BT_EQV  Equivalence.
BT_RLIN  Reified linear relation.

Definition at line 316 of file minimodel.hh.

Constructor & Destructor Documentation

Gecode::MiniModel::BoolExpr::BoolExpr (  const BoolExpr &  e  )  [inline]
 

Copy constructor.

Definition at line 47 of file bool-expr.icc.

Gecode::MiniModel::BoolExpr::BoolExpr (  const BoolExpr &  l,
NodeType  t,
const BoolExpr &  r
)  [inline]
 

Construct expression for type and subexpresssions.

Definition at line 61 of file bool-expr.icc.

Gecode::MiniModel::BoolExpr::BoolExpr (  const BoolVar &  x  )  [inline]
 

Construct expression for variable.

Definition at line 52 of file bool-expr.icc.

Gecode::MiniModel::BoolExpr::BoolExpr (  const BoolExpr &  e,
NodeType  t
)  [inline]
 

Construct expression for negation.

Definition at line 74 of file bool-expr.icc.

Gecode::MiniModel::BoolExpr::BoolExpr (  const LinRel &  rl  )  [inline]
 

Construct expression for reified linear relation.

Definition at line 85 of file bool-expr.icc.

Gecode::MiniModel::BoolExpr::~BoolExpr (  void   )  [inline]
 

Destructor.

Definition at line 107 of file bool-expr.icc.

Member Function Documentation

BoolVar Gecode::MiniModel::BoolExpr::post (  Space *  home  )  const [inline]
 

Post propagators for expression.

Definition at line 113 of file bool-expr.icc.

void Gecode::MiniModel::BoolExpr::post (  Space *  home,
bool  t
)  const [inline]
 

Post propagators for relation.

Definition at line 118 of file bool-expr.icc.

const BoolExpr & Gecode::MiniModel::BoolExpr::operator= (  const BoolExpr &  e  )  [inline]
 

Assignment operator.

Definition at line 96 of file bool-expr.icc.

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