Gecode::LinFloatExpr Class Reference

Float expressions More...

#include <minimodel.hh>

List of all members.

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

---

Detailed Description

Float expressions

Definition at line 715 of file minimodel.hh.

---

Member Enumeration Documentation

enum Gecode::LinFloatExpr::NodeType

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:

• gecode/minimodel.hh (Revision: 14471)
• gecode/minimodel/float-expr.cpp (Revision: 13490)