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 |