Generated on Sat Feb 7 2015 02:01:39 for Gecode by doxygen 1.8.9.1
Gecode::BoolExpr Class Reference

Boolean expressions. More...

#include <minimodel.hh>

Classes

class  MiscExpr
 Miscealloneous Boolean expressions. 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_RLINFLOAT, 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 LinIntRel &rl)
 Construct expression for reified linear relation. More...
 
 BoolExpr (const LinFloatRel &rfl)
 Construct expression for reified float 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 1234 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_RLINFLOAT 

Reified linear relation.

NT_RSET 

Reified set relation.

NT_MISC 

Other Boolean expression.

Definition at line 1237 of file minimodel.hh.

Constructor & Destructor Documentation

Gecode::BoolExpr::BoolExpr ( void  )

Default constructor.

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

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

Copy constructor.

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

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

Construct expression for type and subexpresssions.

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

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

Construct expression for variable.

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

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

Construct expression for negation.

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

Gecode::BoolExpr::BoolExpr ( const LinIntRel rl)

Construct expression for reified linear relation.

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

Gecode::BoolExpr::BoolExpr ( const LinFloatRel rfl)

Construct expression for reified float relation.

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

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

Construct expression for reified set relation.

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

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

Construct expression for reified set relation.

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

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

Construct expression for miscellaneous Boolean expression.

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

Gecode::BoolExpr::~BoolExpr ( void  )

Destructor.

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

Member Function Documentation

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

Post propagators for expression.

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

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

Post propagators for relation.

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

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

Assignment operator.

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


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