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	IntVar	An integer variable.
class	NotBooleanVariable	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	IntVar.not()	Returns the negation of a boolean variable.
Literal	Literal.not()	Returns the Boolean negation of the current literal.
Literal	NotBooleanVariable.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
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.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.addCircuit(int[] tails, int[] heads, Literal[] literals)	Adds Circuit(tails, heads, literals).
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).
static LinearExpr	LinearExpr.booleanScalProd(Literal[] literals, int[] coefficients)	Creates a scalar product.
static LinearExpr	LinearExpr.booleanScalProd(Literal[] literals, long[] coefficients)	Creates a scalar product.
static LinearExpr	LinearExpr.booleanSum(Literal[] literals)	Creates a sum expression.
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.
IntervalVar	CpModel.newOptionalIntervalVar(long start, IntVar size, IntVar end, Literal isPresent, java.lang.String name)	Creates an optional interval with a fixed start.
IntervalVar	CpModel.newOptionalIntervalVar(IntVar start, long size, IntVar end, Literal isPresent, java.lang.String name)	Creates an optional interval with a fixed size.
IntervalVar	CpModel.newOptionalIntervalVar(IntVar start, IntVar size, long end, Literal isPresent, java.lang.String name)	Creates an optional interval with a fixed end.
IntervalVar	CpModel.newOptionalIntervalVar(IntVar start, IntVar size, IntVar end, Literal isPresent, java.lang.String name)	Creates an optional interval variable from 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.

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

Constructor	Description
ScalProd(Literal[] literals)
ScalProd(Literal[] literals, long[] coefficients)