Uses of Class
com.google.ortools.sat.IntVar

Packages that use IntVar

Package	Description
com.google.ortools.sat

Uses of IntVar in com.google.ortools.sat

Subclasses of IntVar in com.google.ortools.sat

Modifier and Type	Class and Description
class	BoolVar An Boolean variable.

Methods in com.google.ortools.sat that return IntVar

Modifier and Type	Method and Description
IntVar	CpModel.getIntVarFromProtoIndex(int index) Rebuilds an integer variable from an index.
IntVar	CpModel.newConstant(long value) Creates a constant variable.
IntVar	CpModel.newIntVar(long lb, long ub, java.lang.String name) Creates an integer variable with domain [lb, ub].
IntVar	CpModel.newIntVarFromDomain(Domain domain, java.lang.String name) Creates an integer variable with given domain.

Methods in com.google.ortools.sat with parameters of type IntVar

Modifier and Type	Method and Description
TableConstraint	CpModel.addAllowedAssignments(IntVar[] variables) Adds AllowedAssignments(variables).
AutomatonConstraint	CpModel.addAutomaton(IntVar[] transitionVariables, long startingState, long[] finalStates) Adds an automaton constraint.
Constraint	CpModel.addElement(IntVar index, int[] values, IntVar target) Adds the element constraint: values[index] == target.
Constraint	CpModel.addElement(IntVar index, IntVar[] variables, IntVar target) Adds the element constraint: variables[index] == target.
Constraint	CpModel.addElement(IntVar index, IntVar[] variables, IntVar target) Adds the element constraint: variables[index] == target.
Constraint	CpModel.addElement(IntVar index, long[] values, IntVar target) Adds the element constraint: values[index] == target.
TableConstraint	CpModel.addForbiddenAssignments(IntVar[] variables) Adds ForbiddenAssignments(variables).
void	CpModel.addHint(IntVar var, long value) Adds hinting to a variable
Constraint	CpModel.addInverse(IntVar[] variables, IntVar[] inverseVariables) Adds Inverse(variables, inverseVariables).
Constraint	CpModel.addInverse(IntVar[] variables, IntVar[] inverseVariables) Adds Inverse(variables, inverseVariables).
void	CpModel.addMapDomain(IntVar var, Literal[] booleans, long offset) Adds var == i + offset <=> booleans[i] == true for all i in [0, booleans.length).

Method parameters in com.google.ortools.sat with type arguments of type IntVar

Modifier and Type	Method and Description
TableConstraint	CpModel.addAllowedAssignments(java.lang.Iterable<IntVar> variables) Adds AllowedAssignments(variables).
TableConstraint	CpModel.addForbiddenAssignments(java.lang.Iterable<IntVar> variables) Adds ForbiddenAssignments(variables).

Constructors in com.google.ortools.sat with parameters of type IntVar

Constructor and Description
DoubleLinearExpr(IntVar[] vars, double offset)
DoubleLinearExpr(IntVar[] variables, double[] coefficients, double offset)
DoubleLinearExpr(IntVar var, double coefficient, double offset)