Gecode::LinIntExpr Class Reference
Linear expressions over integer variables. More...
#include <minimodel.hh>
Classes | |
class | Node |
Nodes for linear expressions. More... | |
Public Types | |
enum | NodeType { NT_CONST, NT_VAR_INT, NT_VAR_BOOL, NT_NONLIN, NT_SUM_INT, NT_SUM_BOOL, NT_ADD, NT_SUB, NT_MUL } |
Type of linear expression. More... | |
Public Member Functions | |
LinIntExpr (void) | |
Default constructor. | |
LinIntExpr (int c) | |
Create expression for constant c. | |
LinIntExpr (const IntVar &x, int a=1) | |
Create expression. | |
LinIntExpr (const BoolVar &x, int a=1) | |
Create expression. | |
LinIntExpr (const IntVarArgs &x) | |
Create sum expression. | |
LinIntExpr (const IntArgs &a, const IntVarArgs &x) | |
Create sum expression. | |
LinIntExpr (const BoolVarArgs &x) | |
Create sum expression. | |
LinIntExpr (const IntArgs &a, const BoolVarArgs &x) | |
Create sum expression. | |
LinIntExpr (const LinIntExpr &e) | |
Copy constructor. | |
LinIntExpr (const LinIntExpr &e0, NodeType t, const LinIntExpr &e1) | |
Create expression for type and subexpressions. | |
LinIntExpr (const LinIntExpr &e0, NodeType t, int c) | |
Create expression for type and subexpression. | |
LinIntExpr (int a, const LinIntExpr &e) | |
Create expression for multiplication. | |
LinIntExpr (NonLinIntExpr *e) | |
Create non-linear expression. | |
const LinIntExpr & | operator= (const LinIntExpr &e) |
Assignment operator. | |
void | post (Home home, IntRelType irt, IntPropLevel ipl) const |
Post propagator. | |
void | post (Home home, IntRelType irt, const BoolVar &b, IntPropLevel ipl) const |
Post reified propagator. | |
IntVar | post (Home home, IntPropLevel ipl) const |
Post propagator and return variable for value. | |
NonLinIntExpr * | nle (void) const |
Return non-linear expression inside, or NULL if not non-linear. | |
~LinIntExpr (void) | |
Destructor. |
Detailed Description
Linear expressions over integer variables.
Definition at line 140 of file minimodel.hh.
Member Enumeration Documentation
Type of linear expression.
- Enumerator:
Definition at line 150 of file minimodel.hh.
Constructor & Destructor Documentation
Gecode::LinIntExpr::LinIntExpr | ( | void | ) |
Default constructor.
Definition at line 349 of file int-expr.cpp.
Gecode::LinIntExpr::LinIntExpr | ( | int | c | ) |
Create expression for constant c.
Definition at line 357 of file int-expr.cpp.
Gecode::LinIntExpr::LinIntExpr | ( | const IntVar & | x, | |
int | a = 1 | |||
) |
Create expression.
Definition at line 367 of file int-expr.cpp.
Gecode::LinIntExpr::LinIntExpr | ( | const BoolVar & | x, | |
int | a = 1 | |||
) |
Create expression.
Definition at line 377 of file int-expr.cpp.
Gecode::LinIntExpr::LinIntExpr | ( | const IntVarArgs & | x | ) | [explicit] |
Create sum expression.
Definition at line 387 of file int-expr.cpp.
Gecode::LinIntExpr::LinIntExpr | ( | const IntArgs & | a, | |
const IntVarArgs & | x | |||
) |
Create sum expression.
Definition at line 402 of file int-expr.cpp.
Gecode::LinIntExpr::LinIntExpr | ( | const BoolVarArgs & | x | ) | [explicit] |
Create sum expression.
Definition at line 419 of file int-expr.cpp.
Gecode::LinIntExpr::LinIntExpr | ( | const IntArgs & | a, | |
const BoolVarArgs & | x | |||
) |
Create sum expression.
Definition at line 434 of file int-expr.cpp.
Gecode::LinIntExpr::LinIntExpr | ( | const LinIntExpr & | e | ) |
Copy constructor.
Definition at line 140 of file int-expr.cpp.
Gecode::LinIntExpr::LinIntExpr | ( | const LinIntExpr & | e0, | |
NodeType | t, | |||
const LinIntExpr & | e1 | |||
) |
Create expression for type and subexpressions.
Definition at line 451 of file int-expr.cpp.
Gecode::LinIntExpr::LinIntExpr | ( | const LinIntExpr & | e0, | |
NodeType | t, | |||
int | c | |||
) |
Create expression for type and subexpression.
Definition at line 460 of file int-expr.cpp.
Gecode::LinIntExpr::LinIntExpr | ( | int | a, | |
const LinIntExpr & | e | |||
) |
Create expression for multiplication.
Definition at line 470 of file int-expr.cpp.
Gecode::LinIntExpr::LinIntExpr | ( | NonLinIntExpr * | e | ) | [explicit] |
Create non-linear expression.
Definition at line 480 of file int-expr.cpp.
Gecode::LinIntExpr::~LinIntExpr | ( | void | ) |
Destructor.
Definition at line 500 of file int-expr.cpp.
Member Function Documentation
const LinIntExpr & Gecode::LinIntExpr::operator= | ( | const LinIntExpr & | e | ) |
Assignment operator.
Definition at line 491 of file int-expr.cpp.
void Gecode::LinIntExpr::post | ( | Home | home, | |
IntRelType | irt, | |||
IntPropLevel | ipl | |||
) | const |
Post propagator.
Definition at line 156 of file int-expr.cpp.
void Gecode::LinIntExpr::post | ( | Home | home, | |
IntRelType | irt, | |||
const BoolVar & | b, | |||
IntPropLevel | ipl | |||
) | const |
Post reified propagator.
Definition at line 223 of file int-expr.cpp.
IntVar Gecode::LinIntExpr::post | ( | Home | home, | |
IntPropLevel | ipl | |||
) | const |
Post propagator and return variable for value.
Definition at line 281 of file int-expr.cpp.
NonLinIntExpr * Gecode::LinIntExpr::nle | ( | void | ) | const |
Return non-linear expression inside, or NULL if not non-linear.
Definition at line 345 of file int-expr.cpp.
The documentation for this class was generated from the following files:
- gecode/minimodel.hh
- gecode/minimodel/int-expr.cpp