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

Float expressions More...

#include <minimodel.hh>

Classes

class  Node
 Nodes for linear expressions. More...
 

Public Types

enum  NodeType {
  NT_CONST, NT_VAR, NT_NONLIN, NT_SUM,
  NT_ADD, NT_SUB, NT_MUL
}
 Type of linear expression. More...
 

Public Member Functions

 LinFloatExpr (void)
 Default constructor. More...
 
 LinFloatExpr (const FloatVal &c)
 Create expression for constant c. More...
 
 LinFloatExpr (const FloatVar &x)
 Create expression. More...
 
 LinFloatExpr (const FloatVar &x, FloatVal a)
 Create expression. More...
 
 LinFloatExpr (const FloatVarArgs &x)
 Create sum expression. More...
 
 LinFloatExpr (const FloatValArgs &a, const FloatVarArgs &x)
 Create sum expression. More...
 
 LinFloatExpr (const LinFloatExpr &e)
 Copy constructor. More...
 
 LinFloatExpr (const LinFloatExpr &e0, NodeType t, const LinFloatExpr &e1)
 Create expression for type and subexpressions. More...
 
 LinFloatExpr (const LinFloatExpr &e0, NodeType t, const FloatVal &c)
 Create expression for type and subexpression. More...
 
 LinFloatExpr (FloatVal a, const LinFloatExpr &e)
 Create expression for multiplication. More...
 
 LinFloatExpr (NonLinFloatExpr *e)
 Create non-linear expression. More...
 
const LinFloatExproperator= (const LinFloatExpr &e)
 Assignment operator. More...
 
void post (Home home, FloatRelType frt) const
 Post propagator. More...
 
void post (Home home, FloatRelType frt, const BoolVar &b) const
 Post reified propagator. More...
 
FloatVar post (Home home) const
 Post propagator and return variable for value. More...
 
NonLinFloatExprnlfe (void) const
 Return non-linear expression inside, or NULL if not non-linear. More...
 
 ~LinFloatExpr (void)
 Destructor. More...
 

Detailed Description

Float expressions

Definition at line 715 of file minimodel.hh.

Member Enumeration Documentation

Type of linear expression.

Enumerator
NT_CONST 

Float value constant.

NT_VAR 

Linear term with variable.

NT_NONLIN 

Non-linear expression.

NT_SUM 

Sum of float variables.

NT_ADD 

Addition of linear terms.

NT_SUB 

Subtraction of linear terms.

NT_MUL 

Multiplication by coefficient.

Definition at line 719 of file minimodel.hh.

Constructor & Destructor Documentation

Gecode::LinFloatExpr::LinFloatExpr ( void  )

Default constructor.

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

Gecode::LinFloatExpr::LinFloatExpr ( const FloatVal c)

Create expression for constant c.

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

Gecode::LinFloatExpr::LinFloatExpr ( const FloatVar x)

Create expression.

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

Gecode::LinFloatExpr::LinFloatExpr ( const FloatVar x,
FloatVal  a 
)

Create expression.

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

Gecode::LinFloatExpr::LinFloatExpr ( const FloatVarArgs x)
explicit

Create sum expression.

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

Gecode::LinFloatExpr::LinFloatExpr ( const FloatValArgs a,
const FloatVarArgs x 
)

Create sum expression.

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

Gecode::LinFloatExpr::LinFloatExpr ( const LinFloatExpr e)

Copy constructor.

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

Gecode::LinFloatExpr::LinFloatExpr ( const LinFloatExpr e0,
NodeType  t,
const LinFloatExpr e1 
)

Create expression for type and subexpressions.

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

Gecode::LinFloatExpr::LinFloatExpr ( const LinFloatExpr e0,
NodeType  t,
const FloatVal c 
)

Create expression for type and subexpression.

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

Gecode::LinFloatExpr::LinFloatExpr ( FloatVal  a,
const LinFloatExpr e 
)

Create expression for multiplication.

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

Gecode::LinFloatExpr::LinFloatExpr ( NonLinFloatExpr e)
explicit

Create non-linear expression.

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

Gecode::LinFloatExpr::~LinFloatExpr ( void  )

Destructor.

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

Member Function Documentation

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

Assignment operator.

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

void Gecode::LinFloatExpr::post ( Home  home,
FloatRelType  frt 
) const

Post propagator.

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

void Gecode::LinFloatExpr::post ( Home  home,
FloatRelType  frt,
const BoolVar b 
) const

Post reified propagator.

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

FloatVar Gecode::LinFloatExpr::post ( Home  home) const

Post propagator and return variable for value.

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

NonLinFloatExpr * Gecode::LinFloatExpr::nlfe ( void  ) const

Return non-linear expression inside, or NULL if not non-linear.

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


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