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	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	Description
Constraint	CpModel.addAbsEquality(LinearArgument target, LinearArgument expr)	Adds target == Abs(expr).
Constraint	CpModel.addAllDifferent(LinearArgument[] expressions)	Adds AllDifferent(expressions).
Constraint	CpModel.addAllDifferent(java.lang.Iterable<? extends LinearArgument> expressions)	Adds AllDifferent(expressions).
Constraint	CpModel.addAtLeastOne(Literal[] literals)	Same as addBoolOr.
Constraint	CpModel.addAtLeastOne(java.lang.Iterable<Literal> literals)	Same as addBoolOr.
Constraint	CpModel.addAtMostOne(Literal[] literals)	Adds AtMostOne(literals): Sum(literals) <= 1.
Constraint	CpModel.addAtMostOne(java.lang.Iterable<Literal> literals)	Adds AtMostOne(literals): Sum(literals) <= 1.
Constraint	CpModel.addBoolAnd(Literal[] literals)	Adds And(literals) == true.
Constraint	CpModel.addBoolAnd(java.lang.Iterable<Literal> literals)	Adds And(literals) == true.
Constraint	CpModel.addBoolOr(Literal[] literals)	Adds Or(literals) == true.
Constraint	CpModel.addBoolOr(java.lang.Iterable<Literal> literals)	Adds Or(literals) == true.
Constraint	CpModel.addBoolXor(Literal[] literals)	Adds XOr(literals) == true.
Constraint	CpModel.addBoolXor(java.lang.Iterable<Literal> literals)	Adds XOr(literals) == true.
Constraint	CpModel.addDifferent(LinearArgument expr, long value)	Adds expr != value.
Constraint	CpModel.addDifferent(LinearArgument left, LinearArgument right)	Adds left != right.
Constraint	CpModel.addDivisionEquality(LinearArgument target, LinearArgument num, LinearArgument denom)	Adds target == num / denom, rounded towards 0.
Constraint	CpModel.addElement(IntVar index, int[] values, IntVar target)	Adds the element constraint: values[index] == target.
Constraint	CpModel.addElement(IntVar index, long[] 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.addEquality(LinearArgument expr, long value)	Adds expr == value.
Constraint	CpModel.addEquality(LinearArgument left, LinearArgument right)	Adds left == right.
Constraint	CpModel.addExactlyOne(Literal[] literals)	Adds ExactlyOne(literals): Sum(literals) == 1.
Constraint	CpModel.addExactlyOne(java.lang.Iterable<Literal> literals)	Adds ExactlyOne(literals): Sum(literals) == 1.
Constraint	CpModel.addGreaterOrEqual(LinearArgument expr, long value)	Adds expr >= value.
Constraint	CpModel.addGreaterOrEqual(LinearArgument left, LinearArgument right)	Adds left >= right.
Constraint	CpModel.addGreaterThan(LinearArgument expr, long value)	Adds expr > value.
Constraint	CpModel.addGreaterThan(LinearArgument left, LinearArgument right)	Adds left > right.
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 expr, long value)	Adds expr <= value.
Constraint	CpModel.addLessOrEqual(LinearArgument left, LinearArgument right)	Adds left <= right.
Constraint	CpModel.addLessThan(LinearArgument expr, long value)	Adds expr < value.
Constraint	CpModel.addLessThan(LinearArgument left, LinearArgument right)	Adds left < right.
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, LinearArgument[] exprs)	Adds target == Max(vars).
Constraint	CpModel.addMaxEquality(LinearArgument target, java.lang.Iterable<? extends LinearArgument> exprs)	Adds target == Max(exprs).
Constraint	CpModel.addMinEquality(LinearArgument target, LinearArgument[] exprs)	Adds target == Min(vars).
Constraint	CpModel.addMinEquality(LinearArgument target, java.lang.Iterable<? extends LinearArgument> exprs)	Adds target == Min(exprs).
Constraint	CpModel.addModuloEquality(LinearArgument target, LinearArgument var, long mod)	Adds target == var % mod.
Constraint	CpModel.addModuloEquality(LinearArgument target, LinearArgument var, LinearArgument 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).