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: