Java Reference

Java Reference

Package com.google.ortools.sat

Classes

class  AffineExpression
 A specialized linear expression: a * x + b. More...
 
class  AutomatonConstraint
 Specialized automaton constraint. More...
 
class  BoolVar
 An Boolean variable. More...
 
class  CircuitConstraint
 Specialized circuit constraint. More...
 
class  ConstantExpression
 A specialized constant linear expression. More...
 
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  CumulativeConstraint
 Specialized cumulative constraint. More...
 
class  DoubleLinearExpr
 A linear expression interface that can be parsed. More...
 
class  IntervalVar
 An interval variable. More...
 
class  IntVar
 An integer variable. More...
 
interface  LinearArgument
 A object that can build a LinearExpr object. More...
 
interface  LinearExpr
 A linear expression (sum (ai * xi) + b). More...
 
class  LinearExprBuilder
 Builder class for the LinearExpr container. More...
 
interface  Literal
 Interface to describe a boolean variable or its negation. More...
 
class  MultipleCircuitConstraint
 Specialized multiple circuit constraint. More...
 
class  NoOverlap2dConstraint
 Specialized NoOverlap2D constraint. More...
 
class  NotBoolVar
 The negation of a boolean variable. More...
 
class  ReservoirConstraint
 Specialized reservoir constraint. More...
 
class  TableConstraint
 Specialized assignment constraint. More...
 
class  WeightedSumExpression
 A specialized linear expression: sum(ai * xi) + b. More...