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]
|
inlineprotected |
Definition at line 172 of file Solver.java.
◆ IntegerCastInfo() [2/3]
|
inline |
Definition at line 196 of file Solver.java.
◆ IntegerCastInfo() [3/3]
|
inline |
Definition at line 200 of file Solver.java.
Member Function Documentation
◆ delete()
|
inline |
Definition at line 186 of file Solver.java.
◆ getExpression()
|
inline |
Definition at line 217 of file Solver.java.
◆ getMaintainer()
|
inline |
Definition at line 226 of file Solver.java.
◆ getVariable()
|
inline |
Definition at line 208 of file Solver.java.
◆ setExpression()
|
inline |
Definition at line 213 of file Solver.java.
◆ setMaintainer()
|
inline |
Definition at line 222 of file Solver.java.
◆ setVariable()
|
inline |
Definition at line 204 of file Solver.java.
The documentation for this class was generated from the following file: