Gecode::LinIntExpr::Node Class Reference

Nodes for linear expressions. More...

Public Member Functions
	Node (void)
	Default constructor.
void	fill (Home home, const IntPropLevels &ipls, Int::Linear::Term< Int::IntView > &ti, Int::Linear::Term< Int::BoolView > &tb, long long int m, long long int &d) const
	Generate linear terms from expression.
int	fill (Home home, const IntPropLevels &ipls, Int::Linear::Term< Int::IntView > ti, Int::Linear::Term< Int::BoolView > tb) const
	Generate linear terms for expressions.
bool	decrement (void)
	Decrement reference count and possibly free memory.
	~Node (void)
	Destructor.
Static Public Member Functions
static void *	operator new (size_t size)
	Memory management.
static void	operator delete (void *p, size_t size)
	Memory management.
Public Attributes
unsigned int	use
	Nodes are reference counted.
int	n_int
	Integer variables in tree.
int	n_bool
	Boolean variables in tree.
NodeType	t
	Type of expression.
Node *	l
	Subexpressions.
Node *	r
union {
Int::Linear::Term< Int::IntView > * ti
	Integer views and coefficients.
Int::Linear::Term < Int::BoolView > * tb
	Bool views and coefficients.
NonLinIntExpr * ne
	Non-linear expression.
}	sum
	Sum of integer or Boolean variables, or non-linear expression.
int	a
	Coefficient and offset.
int	c
IntVar	x_int
	Integer variable (potentially).
BoolVar	x_bool
	Boolean variable (potentially).

Detailed Description

Nodes for linear expressions.

Definition at line 40 of file int-expr.cpp.

Gecode::LinIntExpr::Node::Node ( void ) [inline]

Default constructor.

Definition at line 93 of file int-expr.cpp.

Gecode::LinIntExpr::Node::~Node ( void ) [inline]

Destructor.

Definition at line 97 of file int-expr.cpp.

void Gecode::LinIntExpr::Node::fill	(	Home	home,
		const IntPropLevels &	ipls,
		Int::Linear::Term< Int::IntView > *&	ti,
		Int::Linear::Term< Int::BoolView > *&	tb,
		long long int	m,
		long long int &	d
	)			const

Generate linear terms from expression.

Definition at line 521 of file int-expr.cpp.

int Gecode::LinIntExpr::Node::fill	(	Home	home,
		const IntPropLevels &	ipls,
		Int::Linear::Term< Int::IntView > *	ti,
		Int::Linear::Term< Int::BoolView > *	tb
	)			const