Generated on Thu Oct 26 14:26:06 2006 for Gecode by doxygen 1.4.7
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

 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.
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: