Java Reference
Java Reference
Detailed Description
An integer variable.
Definition at line 21 of file IntVar.java.
Public Member Functions | |
String | getName () |
Returns the name of the variable given upon creation. More... | |
int | getIndex () |
Returns the index of the variable in the underlying CpModelProto. More... | |
IntegerVariableProto.Builder | getBuilder () |
Returns the variable protobuf builder. More... | |
LinearExpr | build () |
Builds a linear expression. More... | |
String | displayBounds () |
Returns the domain as a string without the enclosing []. More... | |
Domain | getDomain () |
Returns the domain of the variable. More... | |
String | toString () |
Protected Attributes | |
final CpModelProto.Builder | modelBuilder |
final int | variableIndex |
final IntegerVariableProto.Builder | varBuilder |
Member Function Documentation
◆ build()
LinearExpr build | ( | ) |
◆ displayBounds()
String displayBounds | ( | ) |
Returns the domain as a string without the enclosing [].
Definition at line 60 of file IntVar.java.
◆ getBuilder()
IntegerVariableProto.Builder getBuilder | ( | ) |
Returns the variable protobuf builder.
Definition at line 49 of file IntVar.java.
◆ getDomain()
Domain getDomain | ( | ) |
Returns the domain of the variable.
Definition at line 76 of file IntVar.java.
◆ getIndex()
int getIndex | ( | ) |
Returns the index of the variable in the underlying CpModelProto.
Definition at line 44 of file IntVar.java.
◆ getName()
String getName | ( | ) |
Returns the name of the variable given upon creation.
Definition at line 39 of file IntVar.java.
◆ toString()
String toString | ( | ) |
Reimplemented in BoolVar.
Definition at line 81 of file IntVar.java.
Member Data Documentation
◆ modelBuilder
|
protected |
Definition at line 93 of file IntVar.java.
◆ varBuilder
|
protected |
Definition at line 95 of file IntVar.java.
◆ variableIndex
|
protected |
Definition at line 94 of file IntVar.java.
The documentation for this class was generated from the following file: