Generated on Mon Nov 30 23:53:47 2009 for Gecode by doxygen 1.6.1

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_INT, NT_RLIN_BOOL
}
 

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< IntVar > &rl)
 Construct expression for reified linear relation.
 BoolExpr (const LinRel< BoolVar > &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 649 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_INT 

Reified linear relation (integer variables).

NT_RLIN_BOOL 

Reified linear relation (Boolean variables).

Definition at line 652 of file minimodel.hh.


Constructor & Destructor Documentation

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

Copy constructor.

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

Gecode::BoolExpr::BoolExpr ( const BoolExpr l,
NodeType  t,
const BoolExpr r 
)

Construct expression for type and subexpresssions.

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

Gecode::BoolExpr::BoolExpr ( const BoolVar x  ) 

Construct expression for variable.

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

Gecode::BoolExpr::BoolExpr ( const BoolExpr e,
NodeType  t 
)

Construct expression for negation.

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

Gecode::BoolExpr::BoolExpr ( const LinRel< IntVar > &  rl  ) 

Construct expression for reified linear relation.

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

Gecode::BoolExpr::BoolExpr ( const LinRel< BoolVar > &  rl  ) 

Construct expression for reified linear relation.

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

Gecode::BoolExpr::~BoolExpr ( void   ) 

Destructor.

Definition at line 138 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 51 of file bool-expr.hpp.

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

Post propagators for relation.

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

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

Assignment operator.

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


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