Generated on Mon May 10 06:46:55 2010 for Gecode by doxygen 1.6.3

Gecode::BoolExpr Class Reference

Boolean expressions. More...

#include <minimodel.hh>

List of all members.

Classes

class  NNF
 Node for negation normalform (NNF) More...
class  Node
 Node for Boolean expression More...

Public Types

enum  NodeType {
  NT_VAR, NT_NOT, NT_AND, NT_OR,
  NT_EQV, NT_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 (Home home, IntConLevel icl) const
 Post propagators for expression.
void post (Home home, bool t, IntConLevel icl) const
 Post propagators for relation.
const BoolExproperator= (const BoolExpr &e)
 Assignment operator.
 ~BoolExpr (void)
 Destructor.

Detailed Description

Boolean expressions.

Definition at line 653 of file minimodel.hh.


Member Enumeration Documentation

Type of Boolean expression.

Enumerator:
NT_VAR 

Variable.

NT_NOT 

Negation.

NT_AND 

Conjunction.

NT_OR 

Disjunction.

NT_EQV 

Equivalence.

NT_RLIN 

Reified linear relation.

Definition at line 656 of file minimodel.hh.


Constructor & Destructor Documentation

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

Copy constructor.

Definition at line 57 of file bool-expr.hpp.

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

Construct expression for type and subexpresssions.

Definition at line 71 of file bool-expr.hpp.

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

Construct expression for variable.

Definition at line 62 of file bool-expr.hpp.

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

Construct expression for negation.

Definition at line 84 of file bool-expr.hpp.

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

Construct expression for reified linear relation.

Definition at line 101 of file bool-expr.hpp.

Gecode::BoolExpr::~BoolExpr ( void   ) 

Destructor.

Definition at line 72 of file bool-expr.cpp.


Member Function Documentation

BoolVar Gecode::BoolExpr::post ( Home  home,
IntConLevel  icl 
) const [inline]

Post propagators for expression.

Definition at line 111 of file bool-expr.hpp.

void Gecode::BoolExpr::post ( Home  home,
bool  t,
IntConLevel  icl 
) const [inline]

Post propagators for relation.

Definition at line 117 of file bool-expr.hpp.

const BoolExpr & Gecode::BoolExpr::operator= ( const BoolExpr e  ) 

Assignment operator.

Definition at line 62 of file bool-expr.cpp.


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