Detailed Description

Holds semantic information stating that the 'expression' has been cast into 'variable' using the Var() method, and that 'maintainer' is responsible for maintaining the equality between 'variable' and 'expression'.

Definition at line 255 of file constraint_solver.h.

Public Member Functions
	IntegerCastInfo ()

	IntegerCastInfo (IntVar const v, IntExpr const e, Constraint *const c)

Public Attributes
IntVar *	variable

IntExpr *	expression

Constraint *	maintainer

Constructor & Destructor Documentation

◆ IntegerCastInfo() [1/2]

IntegerCastInfo ( )

inline

Definition at line 256 of file constraint_solver.h.

◆ IntegerCastInfo() [2/2]

IntegerCastInfo	(	IntVar *const	v,
		IntExpr *const	e,
		Constraint *const	c
	)

inline

Definition at line 258 of file constraint_solver.h.

Member Data Documentation

◆ expression

IntExpr* expression

Definition at line 261 of file constraint_solver.h.

◆ maintainer

Constraint* maintainer

Definition at line 262 of file constraint_solver.h.

◆ variable

IntVar* variable

Definition at line 260 of file constraint_solver.h.

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

constraint_solver.h