Google OR-Tools v9.11
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
operations_research::sat::VariablesShavingSolver Member List

This is the complete list of members for operations_research::sat::VariablesShavingSolver, including all inherited members.

AddTaskDeterministicDuration(double deterministic_duration)operations_research::sat::SubSolverinline
AddTaskDuration(double duration_in_seconds)operations_research::sat::SubSolverinline
deterministic_time() constoperations_research::sat::SubSolverinline
DeterministicTimingInfo() constoperations_research::sat::SubSolverinline
FIRST_SOLUTION enum valueoperations_research::sat::SubSolver
FULL_PROBLEM enum valueoperations_research::sat::SubSolver
GenerateTask(int64_t task_id) overrideoperations_research::sat::VariablesShavingSolvervirtual
HELPER enum valueoperations_research::sat::SubSolver
INCOMPLETE enum valueoperations_research::sat::SubSolver
IsDone()operations_research::sat::SubSolverinlinevirtual
name() constoperations_research::sat::SubSolverinline
ProcessLocalResponse(const CpSolverResponse &local_response, const State &state)operations_research::sat::VariablesShavingSolver
SubSolver(absl::string_view name, SubsolverType type)operations_research::sat::SubSolverinline
SubsolverType enum nameoperations_research::sat::SubSolver
Synchronize() overrideoperations_research::sat::VariablesShavingSolvervirtual
TaskIsAvailable() overrideoperations_research::sat::VariablesShavingSolvervirtual
TimingInfo() constoperations_research::sat::SubSolverinline
type() constoperations_research::sat::SubSolverinline
VariablesShavingSolver(const SatParameters &local_parameters, SharedClasses *shared)operations_research::sat::VariablesShavingSolver
~SubSolver()=defaultoperations_research::sat::SubSolvervirtual
~VariablesShavingSolver() overrideoperations_research::sat::VariablesShavingSolver