Generated on Thu Feb 21 2013 23:11:56 for Gecode by doxygen 1.8.3.1
Gecode::BoolExpr Class Reference

Boolean expressions. More...

#include <minimodel.hh>

Classes

class  MiscExpr
 Miscealloneous Boolean expressions. More...
 
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, NT_RSET, NT_MISC
}
 Type of Boolean expression. More...
 

Public Member Functions

 BoolExpr (void)
 Default constructor. More...
 
 BoolExpr (const BoolExpr &e)
 Copy constructor. More...
 
 BoolExpr (const BoolExpr &l, NodeType t, const BoolExpr &r)
 Construct expression for type and subexpresssions. More...
 
 BoolExpr (const BoolVar &x)
 Construct expression for variable. More...
 
 BoolExpr (const BoolExpr &e, NodeType t)
 Construct expression for negation. More...
 
 BoolExpr (const LinRel &rl)
 Construct expression for reified linear relation. More...
 
 BoolExpr (const SetRel &rs)
 Construct expression for reified set relation. More...
 
 BoolExpr (const SetCmpRel &rs)
 Construct expression for reified set relation. More...
 
 BoolExpr (MiscExpr *m)
 Construct expression for miscellaneous Boolean expression. More...
 
BoolVar expr (Home home, IntConLevel icl) const
 Post propagators for expression. More...
 
void rel (Home home, IntConLevel icl) const
 Post propagators for relation. More...
 
const BoolExproperator= (const BoolExpr &e)
 Assignment operator. More...
 
 ~BoolExpr (void)
 Destructor. More...
 

Detailed Description

Boolean expressions.

Definition at line 956 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.

NT_RSET 

Reified set relation.

NT_MISC 

Other Boolean expression.

Definition at line 959 of file minimodel.hh.

Constructor & Destructor Documentation

Gecode::BoolExpr::BoolExpr ( void  )

Default constructor.

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

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

Copy constructor.

Definition at line 69 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 72 of file bool-expr.cpp.

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

Construct expression for variable.

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

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

Construct expression for negation.

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

Gecode::BoolExpr::BoolExpr ( const LinRel rl)

Construct expression for reified linear relation.

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

Gecode::BoolExpr::BoolExpr ( const SetRel rs)

Construct expression for reified set relation.

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

Gecode::BoolExpr::BoolExpr ( const SetCmpRel rs)

Construct expression for reified set relation.

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

Gecode::BoolExpr::BoolExpr ( BoolExpr::MiscExpr m)
explicit

Construct expression for miscellaneous Boolean expression.

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

Gecode::BoolExpr::~BoolExpr ( void  )

Destructor.

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

Member Function Documentation

BoolVar Gecode::BoolExpr::expr ( Home  home,
IntConLevel  icl 
) const
inline

Post propagators for expression.

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

void Gecode::BoolExpr::rel ( Home  home,
IntConLevel  icl 
) const
inline

Post propagators for relation.

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

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

Assignment operator.

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


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