DotNet Reference

.Net Reference

Google.OrTools.Sat Namespace Reference

Classes

class  AutomatonConstraint
 Specialized automaton constraint. More...
 
class  BoolVar
 Holds a Boolean variable. More...
 
class  BoundedLinearExpression
 Holds a linear constraint: expression ∈ domain More...
 
class  CircuitConstraint
 Specialized circuit constraint. More...
 
class  Constraint
 Wrapper around a ConstraintProto. More...
 
class  CpModel
 Wrapper class around the cp_model proto. 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  HelperExtensions
 
interface  ILiteral
 Holds a Boolean variable or its negation. More...
 
class  IntervalVar
 An interval variable More...
 
class  IntVar
 Holds a integer variable with a discrete domain. More...
 
class  LinearExpr
 Holds a linear expression: sum (ai * xi) + b. More...
 
class  LinearExprBuilder
 A builder class for linear expressions. More...
 
class  LogCallbackDelegate
 
class  MultipleCircuitConstraint
 Specialized multiple circuit constraint. More...
 
class  NoOverlap2dConstraint
 Specialized NoOverlap2D constraint. More...
 
class  NotBoolVar
 
class  ObjectiveSolutionPrinter
 A specialized solution printer. More...
 
class  ReservoirConstraint
 Specialized reservoir constraint. More...
 
class  TableConstraint
 Specialized assignment constraint. More...
 
struct  Term