public class IntVar extends java.lang.Object implements LinearArgument
Modifier and Type | Field and Description |
---|---|
protected CpModelProto.Builder |
modelBuilder |
protected IntegerVariableProto.Builder |
varBuilder |
protected int |
variableIndex |
Modifier and Type | Method and Description |
---|---|
LinearExpr |
build()
Builds a linear expression.
|
java.lang.String |
displayBounds()
Returns the domain as a string without the enclosing [].
|
IntegerVariableProto.Builder |
getBuilder()
Returns the variable protobuf builder.
|
Domain |
getDomain()
Returns the domain of the variable.
|
int |
getIndex()
Returns the index of the variable in the underlying CpModelProto.
|
java.lang.String |
getName()
Returns the name of the variable given upon creation.
|
java.lang.String |
toString() |
protected final CpModelProto.Builder modelBuilder
protected final int variableIndex
protected final IntegerVariableProto.Builder varBuilder
public java.lang.String getName()
public int getIndex()
public IntegerVariableProto.Builder getBuilder()
public LinearExpr build()
LinearArgument
build
in interface LinearArgument
public java.lang.String displayBounds()
public Domain getDomain()
public java.lang.String toString()
toString
in class java.lang.Object
Copyright © 2025. All rights reserved.