Float expressions More...

#include <gecode/minimodel.hh>

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 845 of file minimodel.hh.

Member Enumeration Documentation

◆ NodeType

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 849 of file minimodel.hh.

Constructor & Destructor Documentation

◆ LinFloatExpr() [1/11]

Gecode::LinFloatExpr::LinFloatExpr ( void )

Default constructor.

◆ LinFloatExpr() [2/11]

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

Create expression for constant c.

◆ LinFloatExpr() [3/11]

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

Create expression.

◆ LinFloatExpr() [4/11]

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

Create expression.

◆ LinFloatExpr() [5/11]

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

explicit

Create sum expression.

◆ LinFloatExpr() [6/11]

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

Create sum expression.

◆ LinFloatExpr() [7/11]

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

Copy constructor.

◆ LinFloatExpr() [8/11]

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

Create expression for type and subexpressions.

◆ LinFloatExpr() [9/11]

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

Create expression for type and subexpression.

◆ LinFloatExpr() [10/11]

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

Create expression for multiplication.

◆ LinFloatExpr() [11/11]

Gecode::LinFloatExpr::LinFloatExpr ( NonLinFloatExpr * e )

explicit

Create non-linear expression.

◆ ~LinFloatExpr()

Gecode::LinFloatExpr::~LinFloatExpr ( void )

Destructor.

Member Function Documentation

◆ operator=()

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

Assignment operator.

◆ post() [1/3]

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

Post propagator.

◆ post() [2/3]

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

Post reified propagator.

◆ post() [3/3]

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

Post propagator and return variable for value.

◆ nlfe()

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

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

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

gecode/minimodel.hh

Public Types

Public Member Functions