Uses of Interface
com.google.ortools.sat.LinearArgument

Packages that use LinearArgument

Package	Description
com.google.ortools.sat

Uses of LinearArgument in com.google.ortools.sat

Subinterfaces of LinearArgument in com.google.ortools.sat

Modifier and Type	Interface and Description
interface	LinearExpr A linear expression (sum (ai * xi) + b).
interface	Literal Interface to describe a boolean variable or its negation.

Classes in com.google.ortools.sat that implement LinearArgument

Modifier and Type	Class and Description
class	AffineExpression A specialized linear expression: a * x + b
class	BoolVar An Boolean variable.
class	ConstantExpression A specialized constant linear expression.
class	IntVar An integer variable.
class	LinearExprBuilder Builder class for the LinearExpr container.
class	NotBoolVar The negation of a boolean variable.
class	WeightedSumExpression A specialized linear expression: sum(ai * xi) + b.

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

Modifier and Type	Method and Description
LinearExprBuilder	LinearExprBuilder.add(LinearArgument expr)
Constraint	CpModel.addAbsEquality(LinearArgument target, LinearArgument expr) Adds target == Abs(expr).
Constraint	CpModel.addAllDifferent(LinearArgument[] expressions) Adds AllDifferent(expressions).
TableConstraint	CpModel.addAllowedAssignments(LinearArgument[] expressions) Adds AllowedAssignments(expressions).
AutomatonConstraint	CpModel.addAutomaton(LinearArgument[] transitionExpressions, long startingState, long[] finalStates) Adds an automaton constraint.
CumulativeConstraint	CpModel.addCumulative(LinearArgument capacity) Adds Cumulative(capacity).
void	CpModel.addDecisionStrategy(LinearArgument[] expressions, DecisionStrategyProto.VariableSelectionStrategy varStr, DecisionStrategyProto.DomainReductionStrategy domStr) Adds DecisionStrategy(expressions, varStr, domStr).
CumulativeConstraint	CumulativeConstraint.addDemand(IntervalVar interval, LinearArgument demand)
CumulativeConstraint	CumulativeConstraint.addDemands(IntervalVar[] intervals, LinearArgument[] demands) Adds all pairs (intervals[i], demands[i]) to the constraint.
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, 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.
ReservoirConstraint	ReservoirConstraint.addEvent(LinearArgument time, long levelChange) Adds a mandatory event It will increase the used capacity by `levelChange` at time `time`.
TableConstraint	CpModel.addForbiddenAssignments(LinearArgument[] expressions) Adds ForbiddenAssignments(expressions).
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.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.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.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[] exprs) Adds target == Product(exprs).
Constraint	CpModel.addMultiplicationEquality(LinearArgument target, LinearArgument left, LinearArgument right) Adds target == left * right.
LinearExprBuilder	LinearExprBuilder.addSum(LinearArgument[] exprs)
LinearExprBuilder	LinearExprBuilder.addTerm(LinearArgument expr, long coeff)
LinearExprBuilder	LinearExprBuilder.addWeightedSum(LinearArgument[] exprs, int[] coeffs)
LinearExprBuilder	LinearExprBuilder.addWeightedSum(LinearArgument[] exprs, long[] coeffs)
static LinearExpr	LinearExpr.affine(LinearArgument expr, long coeff, long offset) Shortcut for newBuilder().addTerm(expr, coeff).add(offset).build()
void	CpModel.maximize(LinearArgument expr) Adds a maximization objective of a linear expression.
void	CpModel.minimize(LinearArgument expr) Adds a minimization objective of a linear expression.
IntervalVar	CpModel.newFixedSizeIntervalVar(LinearArgument start, long size, java.lang.String name) Creates an interval variable from an affine expression start, and a fixed size.
IntervalVar	CpModel.newIntervalVar(LinearArgument start, LinearArgument size, LinearArgument end, java.lang.String name) Creates an interval variable from three affine expressions start, size, and end.
IntervalVar	CpModel.newOptionalFixedSizeIntervalVar(LinearArgument start, long size, Literal isPresent, java.lang.String name) Creates an optional interval variable from an affine expression start, and a fixed size.
IntervalVar	CpModel.newOptionalIntervalVar(LinearArgument start, LinearArgument size, LinearArgument end, Literal isPresent, java.lang.String name) Creates an optional interval variable from three affine expressions start, size, end, and isPresent.
static LinearExpr	LinearExpr.sum(LinearArgument[] exprs) Shortcut for newBuilder().addSum(exprs).build()
static LinearExpr	LinearExpr.term(LinearArgument expr, long coeff) Shortcut for newBuilder().addTerm(expr, coeff).build()
long	CpSolver.value(LinearArgument expr) Returns the value of a linear expression in the last solution found.
long	CpSolverSolutionCallback.value(LinearArgument expr) Returns the value of the linear expression in the current solution.
static LinearExpr	LinearExpr.weightedSum(LinearArgument[] exprs, long[] coeffs) Shortcut for newBuilder().addWeightedSum(exprs, coeffs).build()

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

Modifier and Type	Method and Description
Constraint	CpModel.addAllDifferent(java.lang.Iterable<? extends LinearArgument> expressions) Adds AllDifferent(expressions).
TableConstraint	CpModel.addAllowedAssignments(java.lang.Iterable<? extends LinearArgument> expressions) Adds AllowedAssignments(expressions).
AutomatonConstraint	CpModel.addAutomaton(java.lang.Iterable<? extends LinearArgument> transitionExpressions, long startingState, long[] finalStates) Adds an automaton constraint.
void	CpModel.addDecisionStrategy(java.lang.Iterable<? extends LinearArgument> expressions, DecisionStrategyProto.VariableSelectionStrategy varStr, DecisionStrategyProto.DomainReductionStrategy domStr) Adds DecisionStrategy(expressions, varStr, domStr).
Constraint	CpModel.addElement(LinearArgument index, java.lang.Iterable<? extends LinearArgument> expressions, LinearArgument target) Adds the element constraint: expressions[index] == target.
TableConstraint	CpModel.addForbiddenAssignments(java.lang.Iterable<? extends LinearArgument> expressions) Adds ForbiddenAssignments(expressions).
Constraint	CpModel.addMaxEquality(LinearArgument target, java.lang.Iterable<? extends LinearArgument> exprs) Adds target == Max(exprs).
Constraint	CpModel.addMinEquality(LinearArgument target, java.lang.Iterable<? extends LinearArgument> exprs) Adds target == Min(exprs).