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...