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

Packages that use Literal

Package	Description
com.google.ortools.sat

Uses of Literal in com.google.ortools.sat

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

Modifier and Type	Class and Description
class	BoolVar An Boolean variable.
class	NotBoolVar The negation of a boolean variable.

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

Modifier and Type	Method and Description
Literal	CpModel.falseLiteral() Returns the false literal.
Literal	BoolVar.not() Returns the negation of a boolean variable.
Literal	Literal.not() Returns the Boolean negation of the current literal.
Literal	NotBoolVar.not() Returns the negation of this literal.
Literal	CpModel.trueLiteral() Returns the true literal.

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

Modifier and Type	Method and Description
MultipleCircuitConstraint	MultipleCircuitConstraint.addArc(int tail, int head, Literal literal) Add an arc to the graph of the multiple circuit constraint.
CircuitConstraint	CircuitConstraint.addArc(int tail, int head, Literal literal) Add an arc to the graph of the circuit constraint.
void	CpModel.addAssumption(Literal lit) Adds a literal to the model as assumption
void	CpModel.addAssumptions(Literal[] literals) Adds multiple literals to the model as assumptions
Constraint	CpModel.addAtLeastOne(Literal[] literals) Same as addBoolOr.
Constraint	CpModel.addAtMostOne(Literal[] literals) Adds AtMostOne(literals): Sum(literals) <= 1.
Constraint	CpModel.addBoolAnd(Literal[] literals) Adds And(literals) == true.
Constraint	CpModel.addBoolOr(Literal[] literals) Adds Or(literals) == true.
Constraint	CpModel.addBoolXor(Literal[] literals) Adds XOr(literals) == true.
Constraint	CpModel.addExactlyOne(Literal[] literals) Adds ExactlyOne(literals): Sum(literals) == 1.
void	CpModel.addHint(Literal lit, boolean value) Adds hinting to a literal
Constraint	CpModel.addImplication(Literal a, Literal b) Adds a => b.
void	CpModel.addMapDomain(IntVar var, Literal[] booleans, long offset) Adds var == i + offset <=> booleans[i] == true for all i in [0, booleans.length).
ReservoirConstraint	ReservoirConstraint.addOptionalEvent(LinearExpr time, long levelChange, Literal isActive) Adds an optional event If `isActive` is true, It will increase the used capacity by `levelChange` at time `time`.
ReservoirConstraint	ReservoirConstraint.addOptionalEvent(long time, long levelChange, Literal isActive) Adds an optional event at a fixed time If `isActive` is true, It will increase the used capacity by `levelChange` at time `time`.
static DoubleLinearExpr	DoubleLinearExpr.affine(Literal lit, double coefficient, double offset) Creates an affine expression (lit * coefficient + offset).
java.lang.Boolean	CpSolver.booleanValue(Literal var) Returns the Boolean value of a literal in the last solution found.
java.lang.Boolean	CpSolverSolutionCallback.booleanValue(Literal literal) Returns the Boolean value of the literal in the current solution.
boolean	CpModel.isPositive(Literal lit)
IntervalVar	CpModel.newOptionalFixedInterval(long start, long size, Literal isPresent, java.lang.String name) Creates an optional fixed interval from start and size, and an isPresent literal.
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.
void	Constraint.onlyEnforceIf(Literal lit) Adds a literal to the constraint.
void	Constraint.onlyEnforceIf(Literal[] lits) Adds a list of literals to the constraint.
static DoubleLinearExpr	DoubleLinearExpr.sum(Literal[] literals) Creates a sum expression.
static DoubleLinearExpr	DoubleLinearExpr.sumWithOffset(Literal[] literals, double offset) Creates a sum expression with a double offset.
static DoubleLinearExpr	DoubleLinearExpr.term(Literal lit, double coefficient) Creates a linear term (lit * coefficient).
static DoubleLinearExpr	DoubleLinearExpr.weightedSum(Literal[] literals, double[] coefficients) Creates a scalar product.
static DoubleLinearExpr	DoubleLinearExpr.weightedSumWithOffset(Literal[] literals, double[] coefficients, double offset) Creates a scalar product with a double offset.

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

Modifier and Type	Method and Description
Constraint	CpModel.addAtLeastOne(java.lang.Iterable<Literal> literals) Same as addBoolOr.
Constraint	CpModel.addAtMostOne(java.lang.Iterable<Literal> literals) Adds AtMostOne(literals): Sum(literals) <= 1.
Constraint	CpModel.addBoolAnd(java.lang.Iterable<Literal> literals) Adds And(literals) == true.
Constraint	CpModel.addBoolOr(java.lang.Iterable<Literal> literals) Adds Or(literals) == true.
Constraint	CpModel.addBoolXor(java.lang.Iterable<Literal> literals) Adds XOr(literals) == true.
Constraint	CpModel.addExactlyOne(java.lang.Iterable<Literal> literals) Adds ExactlyOne(literals): Sum(literals) == 1.

Constructors in com.google.ortools.sat with parameters of type Literal

Constructor and Description
DoubleLinearExpr(Literal[] literals, double offset)
DoubleLinearExpr(Literal[] literals, double[] coefficients, double offset)
DoubleLinearExpr(Literal lit, double coefficient, double offset)