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 TypeInterfaceDescriptioninterfaceA linear expression (sum (ai * xi) + b).interfaceInterface to describe a boolean variable or its negation.Classes in com.google.ortools.sat that implement LinearArgumentModifier and TypeClassDescriptionfinal classA specialized linear expression: a * x + bfinal classAn Boolean variable.final classA specialized constant linear expression.classAn integer variable.final classBuilder class for the LinearExpr container.final classThe negation of a boolean variable.final classA 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).voidCpModel.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 LinearExprLinearExpr.affine(LinearArgument expr, long coeff, long offset) Shortcut for newBuilder().addTerm(expr, coeff).add(offset).build()voidCpModel.maximize(LinearArgument expr) Adds a maximization objective of a linear expression.voidCpModel.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 LinearExprLinearExpr.sum(LinearArgument[] exprs) Shortcut for newBuilder().addSum(exprs).build()static LinearExprLinearExpr.term(LinearArgument expr, long coeff) Shortcut for newBuilder().addTerm(expr, coeff).build()longCpSolver.value(LinearArgument expr) Returns the value of a linear expression in the last solution found.longCpSolverSolutionCallback.value(LinearArgument expr) Returns the value of the linear expression in the current solution.static LinearExprLinearExpr.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.voidCpModel.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).