Java Reference

Java Reference

Solver.IntegerCastInfo

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 168 of file Solver.java.

Public Member Functions

synchronized void delete ()
 
 IntegerCastInfo ()
 
 IntegerCastInfo (IntVar v, IntExpr e, Constraint c)
 
void setVariable (IntVar value)
 
IntVar getVariable ()
 
void setExpression (IntExpr value)
 
IntExpr getExpression ()
 
void setMaintainer (Constraint value)
 
Constraint getMaintainer ()
 

Protected Member Functions

 IntegerCastInfo (long cPtr, boolean cMemoryOwn)
 

Constructor & Destructor Documentation

◆ IntegerCastInfo() [1/3]

IntegerCastInfo ( long  cPtr,
boolean  cMemoryOwn 
)
inlineprotected

Definition at line 172 of file Solver.java.

◆ IntegerCastInfo() [2/3]

IntegerCastInfo ( )
inline

Definition at line 196 of file Solver.java.

◆ IntegerCastInfo() [3/3]

IntegerCastInfo ( IntVar  v,
IntExpr  e,
Constraint  c 
)
inline

Definition at line 200 of file Solver.java.

Member Function Documentation

◆ delete()

synchronized void delete ( )
inline

Definition at line 186 of file Solver.java.

◆ getExpression()

IntExpr getExpression ( )
inline

Definition at line 217 of file Solver.java.

◆ getMaintainer()

Constraint getMaintainer ( )
inline

Definition at line 226 of file Solver.java.

◆ getVariable()

IntVar getVariable ( )
inline

Definition at line 208 of file Solver.java.

◆ setExpression()

void setExpression ( IntExpr  value)
inline

Definition at line 213 of file Solver.java.

◆ setMaintainer()

void setMaintainer ( Constraint  value)
inline

Definition at line 222 of file Solver.java.

◆ setVariable()

void setVariable ( IntVar  value)
inline

Definition at line 204 of file Solver.java.


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