Java Reference
Java Reference
java/com/google/ortools/sat/IntVar.java
long getCoefficient(int index)
Returns the ith coefficient.
Definition: java/com/google/ortools/sat/IntVar.java:67
The negation of a boolean variable.
Definition: NotBooleanVariable.java:20
long[] flattenedIntervals()
This method returns the flattened list of interval bounds of the domain.
Definition: Domain.java:111
Literal not()
Returns the negation of a boolean variable.
Definition: java/com/google/ortools/sat/IntVar.java:104
IntegerVariableProto.Builder getBuilder()
Returns the variable protobuf builder.
Definition: java/com/google/ortools/sat/IntVar.java:50
.lang.Override int getVariablesCount()
Definition: CpModelProto.java:264
String displayBounds()
Returns the domain as a string without the enclosing [].
Definition: java/com/google/ortools/sat/IntVar.java:87
Interface to describe a boolean variable or its negation.
Definition: Literal.java:17
We call domain any subset of Int64 = [kint64min, kint64max].
Definition: Domain.java:21
long getDomain(int index)
Definition: IntegerVariableProto.java:254
String toString()
Definition: java/com/google/ortools/sat/IntVar.java:34
static Domain variableDomain(com.google.ortools.sat.IntegerVariableProto variable_proto)
Definition: SatHelper.java:92
int getIndex()
Internal, returns the index of the variable in the underlying CpModelProto.
Definition: java/com/google/ortools/sat/IntVar.java:45
An integer variable.
Definition: java/com/google/ortools/sat/IntVar.java:21
int getDomainCount()
Definition: IntegerVariableProto.java:229
String getName()
Returns the name of the variable given upon creation.
Definition: java/com/google/ortools/sat/IntVar.java:39
IntVar getVariable(int index)
Returns the ith variable.
Definition: java/com/google/ortools/sat/IntVar.java:61
int numElements()
Returns the number of elements in the interface.
Definition: java/com/google/ortools/sat/IntVar.java:56
Definition: Domain.java:9
.lang.Override java.lang.String getName()
Definition: IntegerVariableProto.java:145
A linear expression interface that can be parsed.
Definition: LinearExpr.java:17
String getShortString()
Returns a short string describing the variable.
Definition: java/com/google/ortools/sat/IntVar.java:74
Domain getDomain()
Returns the domain of the variable.
Definition: java/com/google/ortools/sat/IntVar.java:112