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	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	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	Description
CircuitConstraint	CircuitConstraint.addArc(int tail, int head, Literal literal)	Add an arc to the graph of the circuit constraint.
MultipleCircuitConstraint	MultipleCircuitConstraint.addArc(int tail, int head, Literal literal)	Add an arc to the graph of the multiple 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.
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(long time, long levelChange, Literal isActive)	Adds an optional event at a fixed time
ReservoirConstraint	ReservoirConstraint.addOptionalEvent(LinearExpr time, long levelChange, Literal isActive)	Adds an optional event
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.
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.

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

Modifier and Type	Method	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	Description
DoubleLinearExpr(Literal[] literals, double offset)
DoubleLinearExpr(Literal[] literals, double[] coefficients, double offset)
DoubleLinearExpr(Literal lit, double coefficient, double offset)