Gecode::LinExpr< Var > Class Template Reference
Linear expressions. More...
#include <minimodel.hh>
Public Types | |
enum | NodeType { NT_VAR, NT_ADD, NT_SUB, NT_MUL } |
Type of linear expression. More... | |
Public Member Functions | |
LinExpr (void) | |
Default constructor. | |
LinExpr (const Var &x, int a=1) | |
Create expression. | |
LinExpr (const LinExpr &e) | |
Copy constructor. | |
LinExpr (const LinExpr &e0, NodeType t, const LinExpr &e1) | |
Create expression for type and subexpressions. | |
LinExpr (const LinExpr &e0, NodeType t, int c) | |
Create expression for type and subexpression. | |
LinExpr (int a, const LinExpr &e) | |
Create expression for multiplication. | |
const LinExpr & | operator= (const LinExpr &e) |
Assignment operator. | |
void | post (Home home, IntRelType irt, IntConLevel icl) const |
Post propagator. | |
void | post (Home home, IntRelType irt, const BoolVar &b, IntConLevel icl) const |
Post reified propagator. | |
IntVar | post (Home home, IntConLevel icl) const |
Post propagator and return variable for value. | |
~LinExpr (void) | |
Destructor. | |
template<> | |
IntVar | post (Home home, IntConLevel icl) const |
template<> | |
IntVar | post (Home home, IntConLevel icl) const |
Detailed Description
template<class Var>
class Gecode::LinExpr< Var >
Linear expressions.
Definition at line 96 of file minimodel.hh.
Member Enumeration Documentation
enum Gecode::LinExpr::NodeType |
Type of linear expression.
- Enumerator:
NT_VAR Linear term with variable.
NT_ADD Addition of linear terms.
NT_SUB Subtraction of linear terms.
NT_MUL Multiplication by coefficient.
Definition at line 99 of file minimodel.hh.
Constructor & Destructor Documentation
Gecode::LinExpr< Var >::LinExpr | ( | void | ) | [inline] |
Default constructor.
Definition at line 120 of file lin-expr.hpp.
Gecode::LinExpr< Var >::LinExpr | ( | const Var & | x, | |
int | a = 1 | |||
) | [inline] |
Create expression.
Definition at line 130 of file lin-expr.hpp.
Gecode::LinExpr< Var >::LinExpr | ( | const LinExpr< Var > & | e | ) | [inline] |
Copy constructor.
Definition at line 173 of file lin-expr.hpp.
Gecode::LinExpr< Var >::LinExpr | ( | const LinExpr< Var > & | e0, | |
NodeType | t, | |||
const LinExpr< Var > & | e1 | |||
) | [inline] |
Create expression for type and subexpressions.
Definition at line 141 of file lin-expr.hpp.
Gecode::LinExpr< Var >::LinExpr | ( | const LinExpr< Var > & | e0, | |
NodeType | t, | |||
int | c | |||
) | [inline] |
Create expression for type and subexpression.
Definition at line 151 of file lin-expr.hpp.
Gecode::LinExpr< Var >::LinExpr | ( | int | a, | |
const LinExpr< Var > & | e | |||
) | [inline] |
Create expression for multiplication.
Definition at line 162 of file lin-expr.hpp.
Gecode::LinExpr< Var >::~LinExpr | ( | void | ) | [inline] |
Destructor.
Definition at line 191 of file lin-expr.hpp.
Member Function Documentation
const LinExpr< Var > & Gecode::LinExpr< Var >::operator= | ( | const LinExpr< Var > & | e | ) | [inline] |
Assignment operator.
Definition at line 180 of file lin-expr.hpp.
void Gecode::LinExpr< Var >::post | ( | Home | home, | |
IntRelType | irt, | |||
IntConLevel | icl | |||
) | const [inline] |
Post propagator.
Definition at line 198 of file lin-expr.hpp.
void Gecode::LinExpr< Var >::post | ( | Home | home, | |
IntRelType | irt, | |||
const BoolVar & | b, | |||
IntConLevel | icl | |||
) | const [inline] |
Post reified propagator.
Definition at line 209 of file lin-expr.hpp.
IntVar Gecode::LinExpr< Var >::post | ( | Home | home, | |
IntConLevel | icl | |||
) | const |
Post propagator and return variable for value.
IntVar Gecode::LinExpr< IntVar >::post | ( | Home | home, | |
IntConLevel | icl | |||
) | const [inline] |
Definition at line 221 of file lin-expr.hpp.
IntVar Gecode::LinExpr< BoolVar >::post | ( | Home | home, | |
IntConLevel | icl | |||
) | const [inline] |
Definition at line 237 of file lin-expr.hpp.
The documentation for this class was generated from the following files:
- gecode/minimodel.hh (Revision: 10032)
- gecode/minimodel/lin-expr.hpp (Revision: 9878)