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 |