Java Reference
Java Reference
Detailed Description
An integer variable.
Definition at line 21 of file IntVar.java.
Public Member Functions | |
String | toString () |
String | getName () |
Returns the name of the variable given upon creation. More... | |
int | getIndex () |
Internal, returns the index of the variable in the underlying CpModelProto. More... | |
IntegerVariableProto.Builder | getBuilder () |
Returns the variable protobuf builder. More... | |
int | numElements () |
Returns the number of elements in the interface. More... | |
IntVar | getVariable (int index) |
Returns the ith variable. More... | |
long | getCoefficient (int index) |
Returns the ith coefficient. More... | |
long | getOffset () |
Returns the constant part of the expression. More... | |
String | getShortString () |
Returns a short string describing the variable. More... | |
String | displayBounds () |
Returns the domain as a string without the enclosing []. More... | |
Literal | not () |
Returns the negation of a boolean variable. More... | |
Domain | getDomain () |
Returns the domain of the variable. More... | |
Static Public Member Functions | |
static LinearExpr | sum (IntVar[] variables) |
Creates a sum expression. More... | |
static LinearExpr | booleanSum (Literal[] literals) |
Creates a sum expression. More... | |
static LinearExpr | scalProd (IntVar[] variables, long[] coefficients) |
Creates a scalar product. More... | |
static LinearExpr | scalProd (IntVar[] variables, int[] coefficients) |
Creates a scalar product. More... | |
static LinearExpr | booleanScalProd (Literal[] literals, long[] coefficients) |
Creates a scalar product. More... | |
static LinearExpr | booleanScalProd (Literal[] literals, int[] coefficients) |
Creates a scalar product. More... | |
static LinearExpr | term (IntVar variable, long coefficient) |
Creates a linear term (var * coefficient). More... | |
Member Function Documentation
◆ booleanScalProd() [1/2]
|
staticinherited |
Creates a scalar product.
Definition at line 70 of file LinearExpr.java.
◆ booleanScalProd() [2/2]
|
staticinherited |
Creates a scalar product.
Definition at line 62 of file LinearExpr.java.
◆ booleanSum()
|
staticinherited |
Creates a sum expression.
Definition at line 36 of file LinearExpr.java.
◆ displayBounds()
String displayBounds | ( | ) |
Returns the domain as a string without the enclosing [].
Definition at line 92 of file IntVar.java.
◆ getBuilder()
IntegerVariableProto.Builder getBuilder | ( | ) |
Returns the variable protobuf builder.
Definition at line 50 of file IntVar.java.
◆ getCoefficient()
long getCoefficient | ( | int | index | ) |
◆ getDomain()
Domain getDomain | ( | ) |
Returns the domain of the variable.
Definition at line 117 of file IntVar.java.
◆ getIndex()
int getIndex | ( | ) |
Internal, returns the index of the variable in the underlying CpModelProto.
Implements Literal.
Definition at line 45 of file IntVar.java.
◆ getName()
String getName | ( | ) |
Returns the name of the variable given upon creation.
Definition at line 39 of file IntVar.java.
◆ getOffset()
long getOffset | ( | ) |
Returns the constant part of the expression.
Implements LinearExpr.
Definition at line 73 of file IntVar.java.
◆ getShortString()
String getShortString | ( | ) |
Returns a short string describing the variable.
Implements Literal.
Definition at line 79 of file IntVar.java.
◆ getVariable()
IntVar getVariable | ( | int | index | ) |
◆ not()
Literal not | ( | ) |
Returns the negation of a boolean variable.
Implements Literal.
Definition at line 109 of file IntVar.java.
◆ numElements()
int numElements | ( | ) |
Returns the number of elements in the interface.
Implements LinearExpr.
Definition at line 56 of file IntVar.java.
◆ scalProd() [1/2]
|
staticinherited |
Creates a scalar product.
Definition at line 50 of file LinearExpr.java.
◆ scalProd() [2/2]
|
staticinherited |
Creates a scalar product.
Definition at line 42 of file LinearExpr.java.
◆ sum()
|
staticinherited |
Creates a sum expression.
Definition at line 31 of file LinearExpr.java.
◆ term()
|
staticinherited |
Creates a linear term (var * coefficient).
Definition at line 83 of file LinearExpr.java.
◆ toString()
String toString | ( | ) |
Definition at line 34 of file IntVar.java.
The documentation for this class was generated from the following file: