Class IntVar

java.lang.Object

com.google.ortools.sat.IntVar

All Implemented Interfaces:

LinearArgument

Direct Known Subclasses:

BoolVar

public class IntVar
extends Object
implements LinearArgument

An integer variable.

Field Summary

Fields

Modifier and Type	Field	Description
protected final CpModelProto.Builder	modelBuilder
protected final IntegerVariableProto.Builder	varBuilder
protected final int	variableIndex

Method Summary

Modifier and Type	Method	Description
LinearExpr	build()	Builds a linear expression.
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.
String	getName()	Returns the name of the variable given upon creation.
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Details

modelBuilder

protected final CpModelProto.Builder modelBuilder

variableIndex

protected final int variableIndex

varBuilder

protected final IntegerVariableProto.Builder varBuilder

Method Details

getName

public String getName()

Returns the name of the variable given upon creation.

getIndex

public int getIndex()

Returns the index of the variable in the underlying CpModelProto.

getBuilder

public IntegerVariableProto.Builder getBuilder()

Returns the variable protobuf builder.

build

public LinearExpr build()

Description copied from interface: LinearArgument

Builds a linear expression.

Specified by:

build in interface LinearArgument

displayBounds

public String displayBounds()

Returns the domain as a string without the enclosing [].

getDomain

public Domain getDomain()

Returns the domain of the variable.

toString

public String toString()

Overrides:

toString in class Object