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

Packages that use Constraint

Package	Description
com.google.ortools.sat

Uses of Constraint in com.google.ortools.sat

Subclasses of Constraint in com.google.ortools.sat

Modifier and Type	Class and Description
class	AutomatonConstraint Specialized automaton constraint.
class	CircuitConstraint Specialized circuit constraint.
class	CumulativeConstraint Specialized cumulative constraint.
class	MultipleCircuitConstraint Specialized multiple circuit constraint.
class	NoOverlap2dConstraint Specialized NoOverlap2D constraint.
class	ReservoirConstraint Specialized reservoir constraint.
class	TableConstraint Specialized assignment constraint.

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

Modifier and Type	Method and Description
Constraint	CpModel.addAbsEquality(LinearArgument target, LinearArgument expr) Adds target == Abs(expr).
Constraint	CpModel.addAllDifferent(java.lang.Iterable<? extends LinearArgument> expressions) Adds AllDifferent(expressions).
Constraint	CpModel.addAllDifferent(LinearArgument[] expressions) Adds AllDifferent(expressions).
Constraint	CpModel.addAtLeastOne(java.lang.Iterable<Literal> literals) Same as addBoolOr.
Constraint	CpModel.addAtLeastOne(Literal[] literals) Same as addBoolOr.
Constraint	CpModel.addAtMostOne(java.lang.Iterable<Literal> literals) Adds AtMostOne(literals): Sum(literals) <= 1.
Constraint	CpModel.addAtMostOne(Literal[] literals) Adds AtMostOne(literals): Sum(literals) <= 1.
Constraint	CpModel.addBoolAnd(java.lang.Iterable<Literal> literals) Adds And(literals) == true.
Constraint	CpModel.addBoolAnd(Literal[] literals) Adds And(literals) == true.
Constraint	CpModel.addBoolOr(java.lang.Iterable<Literal> literals) Adds Or(literals) == true.
Constraint	CpModel.addBoolOr(Literal[] literals) Adds Or(literals) == true.
Constraint	CpModel.addBoolXor(java.lang.Iterable<Literal> literals) Adds XOr(literals) == true.
Constraint	CpModel.addBoolXor(Literal[] literals) Adds XOr(literals) == true.
Constraint	CpModel.addDifferent(LinearArgument left, LinearArgument right) Adds {@code left !
Constraint	CpModel.addDifferent(LinearArgument expr, long value) Adds {@code expr !
Constraint	CpModel.addDivisionEquality(LinearArgument target, LinearArgument num, LinearArgument denom) Adds target == num / denom, rounded towards 0.
Constraint	CpModel.addElement(LinearArgument index, int[] values, LinearArgument target) Adds the element constraint: values[index] == target.
Constraint	CpModel.addElement(LinearArgument index, java.lang.Iterable<? extends LinearArgument> expressions, LinearArgument target) Adds the element constraint: expressions[index] == target.
Constraint	CpModel.addElement(LinearArgument index, LinearArgument[] expressions, LinearArgument target) Adds the element constraint: expressions[index] == target.
Constraint	CpModel.addElement(LinearArgument index, long[] values, LinearArgument target) Adds the element constraint: values[index] == target.
Constraint	CpModel.addEquality(LinearArgument left, LinearArgument right) Adds left == right.
Constraint	CpModel.addEquality(LinearArgument expr, long value) Adds expr == value.
Constraint	CpModel.addExactlyOne(java.lang.Iterable<Literal> literals) Adds ExactlyOne(literals): Sum(literals) == 1.
Constraint	CpModel.addExactlyOne(Literal[] literals) Adds ExactlyOne(literals): Sum(literals) == 1.
Constraint	CpModel.addGreaterOrEqual(LinearArgument left, LinearArgument right) Adds left >= right.
Constraint	CpModel.addGreaterOrEqual(LinearArgument expr, long value) Adds expr >= value.
Constraint	CpModel.addGreaterThan(LinearArgument left, LinearArgument right) Adds left > right.
Constraint	CpModel.addGreaterThan(LinearArgument expr, long value) Adds expr > value.
Constraint	CpModel.addImplication(Literal a, Literal b) Adds a => b.
Constraint	CpModel.addInverse(IntVar[] variables, IntVar[] inverseVariables) Adds Inverse(variables, inverseVariables).
Constraint	CpModel.addLessOrEqual(LinearArgument left, LinearArgument right) Adds left <= right.
Constraint	CpModel.addLessOrEqual(LinearArgument expr, long value) Adds expr <= value.
Constraint	CpModel.addLessThan(LinearArgument left, LinearArgument right) Adds left < right.
Constraint	CpModel.addLessThan(LinearArgument expr, long value) Adds expr < value.
Constraint	CpModel.addLinearConstraint(LinearArgument expr, long lb, long ub) Adds lb <= expr <= ub.
Constraint	CpModel.addLinearExpressionInDomain(LinearArgument expr, Domain domain) Adds expr in domain.
Constraint	CpModel.addMaxEquality(LinearArgument target, java.lang.Iterable<? extends LinearArgument> exprs) Adds target == Max(exprs).
Constraint	CpModel.addMaxEquality(LinearArgument target, LinearArgument[] exprs) Adds target == Max(vars).
Constraint	CpModel.addMinEquality(LinearArgument target, java.lang.Iterable<? extends LinearArgument> exprs) Adds target == Min(exprs).
Constraint	CpModel.addMinEquality(LinearArgument target, LinearArgument[] exprs) Adds target == Min(vars).
Constraint	CpModel.addModuloEquality(LinearArgument target, LinearArgument var, LinearArgument mod) Adds target == var % mod.
Constraint	CpModel.addModuloEquality(LinearArgument target, LinearArgument var, long mod) Adds target == var % mod.
Constraint	CpModel.addMultiplicationEquality(LinearArgument target, LinearArgument[] exprs) Adds target == Product(exprs).
Constraint	CpModel.addMultiplicationEquality(LinearArgument target, LinearArgument left, LinearArgument right) Adds target == left * right.
Constraint	CpModel.addNoOverlap(IntervalVar[] intervalVars) Adds NoOverlap(intervalVars).
Constraint	CpModel.addNoOverlap(java.lang.Iterable<IntervalVar> intervalVars) Adds NoOverlap(intervalVars).