Java Reference
Java Reference
Package com.google.ortools.sat
Classes | |
class | Constraint |
Wrapper around a ConstraintProto. More... | |
class | CpModel |
Main modeling class. More... | |
class | CpSolver |
Wrapper around the SAT solver. More... | |
class | CpSolverSolutionCallback |
Parent class to create a callback called at each solution. More... | |
class | Difference |
the substraction of two linear expressions. | |
class | IntervalVar |
An interval variable. More... | |
class | IntVar |
An integer variable. More... | |
interface | LinearExpr |
A linear expression interface that can be parsed. More... | |
interface | Literal |
Interface to describe a boolean variable or its negation. More... | |
class | NotBooleanVariable |
The negation of a boolean variable. More... | |
class | ScalProd |
A linear expression interface that can be parsed. More... | |
class | SumOfVariables |
A linear expression interface that can be parsed. More... | |