Generated on Thu Jan 31 2019 20:56:44 for Gecode by doxygen 1.8.15

Functions

IntVar Gecode::expr (Home home, const LinIntExpr &e, IntPropLevel ipl=IPL_DEF)
 Post linear expression and return its value. More...
 
FloatVar Gecode::expr (Home home, const LinFloatExpr &e)
 Post float expression and return its value. More...
 
SetVar Gecode::expr (Home home, const SetExpr &e)
 Post set expression and return its value. More...
 
BoolVar Gecode::expr (Home home, const BoolExpr &e, IntPropLevel ipl=IPL_DEF)
 Post Boolean expression and return its value. More...
 
void Gecode::rel (Home home, const BoolExpr &e, IntPropLevel ipl=IPL_DEF)
 Post Boolean relation. More...
 

Detailed Description

Function Documentation

◆ expr() [1/4]

IntVar Gecode::expr ( Home  home,
const LinIntExpr e,
IntPropLevel  ipl 
)

Post linear expression and return its value.

Definition at line 910 of file int-expr.cpp.

◆ expr() [2/4]

FloatVar Gecode::expr ( Home  home,
const LinFloatExpr e 
)

Post float expression and return its value.

Definition at line 558 of file float-expr.cpp.

◆ expr() [3/4]

SetVar Gecode::expr ( Home  home,
const SetExpr e 
)

Post set expression and return its value.

Definition at line 838 of file set-expr.cpp.

◆ expr() [4/4]

BoolVar Gecode::expr ( Home  home,
const BoolExpr e,
IntPropLevel  ipl 
)

Post Boolean expression and return its value.

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

◆ rel()

void Gecode::rel ( Home  home,
const BoolExpr e,
IntPropLevel  ipl 
)

Post Boolean relation.

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