Google OR-Tools 8.1
C++ Reference
Algorithms
CP-SAT
Graph
Routing
Linear solver
C++ Reference: CP-SAT
Class List
Here are the classes, structs, unions and interfaces with brief descriptions:
[detail level
1
2
3
]
▼
N
operations_research
▼
N
sat
C
AutomatonConstraint
Specialized automaton constraint
C
BoolVar
A Boolean variable
C
CircuitConstraint
Specialized circuit constraint
C
Constraint
A constraint
C
CpModelBuilder
Wrapper class around the cp_model proto
C
CumulativeConstraint
Specialized cumulative constraint
C
IntervalVar
Represents a Interval variable
C
IntVar
An integer variable
C
LinearExpr
A dedicated container for linear expressions
C
Model
Class that owns everything related to a particular optimization model
C
MultipleCircuitConstraint
Specialized circuit constraint
C
NoOverlap2DConstraint
Specialized no_overlap2D constraint
C
PROTOBUF_FINAL
C
ReservoirConstraint
Specialized reservoir constraint
C
TableConstraint
Specialized assignment constraint
C
ClosedInterval
Represents a closed interval [start, end]
C
Domain
We call
domain
any subset of Int64 = [kint64min, kint64max]
C
NestedTimeLimit
Provides a way to nest time limits for algorithms where a certain part of the computation is bounded not just by the overall time limit, but also by a stricter time limit specific just for this particular part
C
SharedTimeLimit
▼
C
SortedDisjointIntervalList
This class represents a sorted list of disjoint, closed intervals
C
IntervalComparator
C
TimeLimit
A simple class to enforce both an elapsed time limit and a deterministic time limit in the same thread as a program
C
is_proto_enum< ::operations_research::sat::CpSolverStatus >
C
is_proto_enum< ::operations_research::sat::DecisionStrategyProto_DomainReductionStrategy >
C
is_proto_enum< ::operations_research::sat::DecisionStrategyProto_VariableSelectionStrategy >
C
is_proto_enum< ::operations_research::sat::SatParameters_BinaryMinizationAlgorithm >
C
is_proto_enum< ::operations_research::sat::SatParameters_ClauseOrdering >
C
is_proto_enum< ::operations_research::sat::SatParameters_ClauseProtection >
C
is_proto_enum< ::operations_research::sat::SatParameters_ConflictMinimizationAlgorithm >
C
is_proto_enum< ::operations_research::sat::SatParameters_FPRoundingMethod >
C
is_proto_enum< ::operations_research::sat::SatParameters_MaxSatAssumptionOrder >
C
is_proto_enum< ::operations_research::sat::SatParameters_MaxSatStratificationAlgorithm >
C
is_proto_enum< ::operations_research::sat::SatParameters_Polarity >
C
is_proto_enum< ::operations_research::sat::SatParameters_RestartAlgorithm >
C
is_proto_enum< ::operations_research::sat::SatParameters_SearchBranching >
C
is_proto_enum< ::operations_research::sat::SatParameters_VariableOrder >
C
TableStruct_ortools_2fsat_2fboolean_5fproblem_2eproto
C
TableStruct_ortools_2fsat_2fcp_5fmodel_2eproto
C
TableStruct_ortools_2fsat_2fsat_5fparameters_2eproto