Uses of Interface
com.google.ortools.sat.LinearArgument
Packages that use LinearArgument
-
Uses of LinearArgument in com.google.ortools.sat
Subinterfaces of LinearArgument in com.google.ortools.satModifier and TypeInterfaceDescriptioninterface
A linear expression (sum (ai * xi) + b).interface
Interface to describe a boolean variable or its negation.Classes in com.google.ortools.sat that implement LinearArgumentModifier and TypeClassDescriptionfinal class
A specialized linear expression: a * x + bfinal class
An Boolean variable.final class
A specialized constant linear expression.class
An integer variable.final class
Builder class for the LinearExpr container.final class
The negation of a boolean variable.final class
A specialized linear expression: sum(ai * xi) + b.Methods in com.google.ortools.sat with parameters of type LinearArgumentModifier and TypeMethodDescriptionLinearExprBuilder.add
(LinearArgument expr) CpModel.addAbsEquality
(LinearArgument target, LinearArgument expr) Addstarget == Abs(expr)
.CpModel.addAllDifferent
(LinearArgument[] expressions) AddsAllDifferent(expressions)
.CpModel.addAllowedAssignments
(LinearArgument[] expressions) AddsAllowedAssignments(expressions)
.CpModel.addAutomaton
(LinearArgument[] transitionExpressions, long startingState, long[] finalStates) Adds an automaton constraint.CpModel.addCumulative
(LinearArgument capacity) AddsCumulative(capacity)
.void
CpModel.addDecisionStrategy
(LinearArgument[] expressions, DecisionStrategyProto.VariableSelectionStrategy varStr, DecisionStrategyProto.DomainReductionStrategy domStr) AddsDecisionStrategy(expressions, varStr, domStr)
.CumulativeConstraint.addDemand
(IntervalVar interval, LinearArgument demand) Adds a pair (interval, demand) to the constraint.CumulativeConstraint.addDemands
(IntervalVar[] intervals, LinearArgument[] demands) Adds all pairs (intervals[i], demands[i]) to the constraint.CpModel.addDifferent
(LinearArgument expr, long value) Addsexpr != value
.CpModel.addDifferent
(LinearArgument left, LinearArgument right) Addsleft != right
.CpModel.addDivisionEquality
(LinearArgument target, LinearArgument num, LinearArgument denom) Addstarget == num / denom
, rounded towards 0.CpModel.addElement
(LinearArgument index, int[] values, LinearArgument target) Adds the element constraint:values[index] == target
.CpModel.addElement
(LinearArgument index, long[] values, LinearArgument target) Adds the element constraint:values[index] == target
.CpModel.addElement
(LinearArgument index, LinearArgument[] expressions, LinearArgument target) Adds the element constraint:expressions[index] == target
.CpModel.addElement
(LinearArgument index, Iterable<? extends LinearArgument> expressions, LinearArgument target) Adds the element constraint:expressions[index] == target
.CpModel.addEquality
(LinearArgument expr, long value) Addsexpr == value
.CpModel.addEquality
(LinearArgument left, LinearArgument right) Addsleft == right
.ReservoirConstraint.addEvent
(LinearArgument time, long levelChange) Adds a mandatory eventCpModel.addForbiddenAssignments
(LinearArgument[] expressions) AddsForbiddenAssignments(expressions)
.CpModel.addGreaterOrEqual
(LinearArgument expr, long value) Addsexpr >= value
.CpModel.addGreaterOrEqual
(LinearArgument left, LinearArgument right) Addsleft >= right
.CpModel.addGreaterThan
(LinearArgument expr, long value) Addsexpr > value
.CpModel.addGreaterThan
(LinearArgument left, LinearArgument right) Addsleft > right
.CpModel.addLessOrEqual
(LinearArgument expr, long value) Addsexpr <= value
.CpModel.addLessOrEqual
(LinearArgument left, LinearArgument right) Addsleft <= right
.CpModel.addLessThan
(LinearArgument expr, long value) Addsexpr < value
.CpModel.addLessThan
(LinearArgument left, LinearArgument right) Addsleft < right
.CpModel.addLinearConstraint
(LinearArgument expr, long lb, long ub) Addslb <= expr <= ub
.CpModel.addLinearExpressionInDomain
(LinearArgument expr, Domain domain) Addsexpr in domain
.CpModel.addMaxEquality
(LinearArgument target, LinearArgument[] exprs) Addstarget == Max(vars)
.CpModel.addMaxEquality
(LinearArgument target, Iterable<? extends LinearArgument> exprs) Addstarget == Max(exprs)
.CpModel.addMinEquality
(LinearArgument target, LinearArgument[] exprs) Addstarget == Min(vars)
.CpModel.addMinEquality
(LinearArgument target, Iterable<? extends LinearArgument> exprs) Addstarget == Min(exprs)
.CpModel.addModuloEquality
(LinearArgument target, LinearArgument var, long mod) Addstarget == var % mod
.CpModel.addModuloEquality
(LinearArgument target, LinearArgument var, LinearArgument mod) Addstarget == var % mod
.CpModel.addMultiplicationEquality
(LinearArgument target, LinearArgument[] exprs) Addstarget == Product(exprs)
.CpModel.addMultiplicationEquality
(LinearArgument target, LinearArgument left, LinearArgument right) Addstarget == left * right
.LinearExprBuilder.addSum
(LinearArgument[] exprs) LinearExprBuilder.addTerm
(LinearArgument expr, long coeff) LinearExprBuilder.addWeightedSum
(LinearArgument[] exprs, int[] coeffs) 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.CpModel.newFixedSizeIntervalVar
(LinearArgument start, long size, String name) Creates an interval variable from an 1-var affine expression start, and a fixed size.CpModel.newIntervalVar
(LinearArgument start, LinearArgument size, LinearArgument end, String name) Creates an interval variable from three 1-var affine expressions start, size, and end.CpModel.newOptionalFixedSizeIntervalVar
(LinearArgument start, long size, Literal isPresent, String name) Creates an optional interval variable from an 1-var affine expression start, and a fixed size.CpModel.newOptionalIntervalVar
(LinearArgument start, LinearArgument size, LinearArgument end, Literal isPresent, String name) Creates an optional interval variable from three 1-var 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 LinearArgumentModifier and TypeMethodDescriptionCpModel.addAllDifferent
(Iterable<? extends LinearArgument> expressions) AddsAllDifferent(expressions)
.CpModel.addAllowedAssignments
(Iterable<? extends LinearArgument> expressions) AddsAllowedAssignments(expressions)
.CpModel.addAutomaton
(Iterable<? extends LinearArgument> transitionExpressions, long startingState, long[] finalStates) Adds an automaton constraint.void
CpModel.addDecisionStrategy
(Iterable<? extends LinearArgument> expressions, DecisionStrategyProto.VariableSelectionStrategy varStr, DecisionStrategyProto.DomainReductionStrategy domStr) AddsDecisionStrategy(expressions, varStr, domStr)
.CpModel.addElement
(LinearArgument index, Iterable<? extends LinearArgument> expressions, LinearArgument target) Adds the element constraint:expressions[index] == target
.CpModel.addForbiddenAssignments
(Iterable<? extends LinearArgument> expressions) AddsForbiddenAssignments(expressions)
.CpModel.addMaxEquality
(LinearArgument target, Iterable<? extends LinearArgument> exprs) Addstarget == Max(exprs)
.CpModel.addMinEquality
(LinearArgument target, Iterable<? extends LinearArgument> exprs) Addstarget == Min(exprs)
.