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
final class	BoolVar	An Boolean variable.
final 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.
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(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
static DoubleLinearExpr	DoubleLinearExpr.affine(Literal lit, double coefficient, double offset)	Creates an affine expression (lit * coefficient + offset).
Boolean	CpSolver.booleanValue(Literal var)	Returns the Boolean value of a literal in the last solution found.
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, String name)	Creates an optional fixed interval from start and size, and an isPresent literal.
IntervalVar	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.
IntervalVar	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.
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	Description
Constraint	CpModel.addAtLeastOne(Iterable<Literal> literals)	Same as addBoolOr.
Constraint	CpModel.addAtMostOne(Iterable<Literal> literals)	Adds AtMostOne(literals): Sum(literals) <= 1.
Constraint	CpModel.addBoolAnd(Iterable<Literal> literals)	Adds And(literals) == true.
Constraint	CpModel.addBoolOr(Iterable<Literal> literals)	Adds Or(literals) == true.
Constraint	CpModel.addBoolXor(Iterable<Literal> literals)	Adds XOr(literals) == true.
Constraint	CpModel.addExactlyOne(Iterable<Literal> literals)	Adds ExactlyOne(literals): Sum(literals) == 1.

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

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