ActiveObjectiveVariables() const | operations_research::sat::NeighborhoodGeneratorHelper | inline |
ActiveObjectiveVariablesWhileHoldingLock() const ABSL_SHARED_LOCKS_REQUIRED(graph_mutex_) | operations_research::sat::NeighborhoodGeneratorHelper | inline |
ActiveVariables() const | operations_research::sat::NeighborhoodGeneratorHelper | inline |
ActiveVariablesWhileHoldingLock() const ABSL_SHARED_LOCKS_REQUIRED(graph_mutex_) | operations_research::sat::NeighborhoodGeneratorHelper | inline |
AddSolutionHinting(const CpSolverResponse &initial_solution, CpModelProto *model_proto) const | operations_research::sat::NeighborhoodGeneratorHelper | |
AddTaskDeterministicDuration(double deterministic_duration) | operations_research::sat::SubSolver | inline |
AddTaskDuration(double duration_in_seconds) | operations_research::sat::SubSolver | inline |
ConstraintToVar() const ABSL_SHARED_LOCKS_REQUIRED(graph_mutex_) | operations_research::sat::NeighborhoodGeneratorHelper | inline |
deterministic_time() const | operations_research::sat::SubSolver | inline |
DeterministicTimingInfo() const | operations_research::sat::SubSolver | inline |
DifficultyMeansFullNeighborhood(double difficulty) const | operations_research::sat::NeighborhoodGeneratorHelper | inline |
FIRST_SOLUTION enum value | operations_research::sat::SubSolver | |
FixAllVariables(const CpSolverResponse &initial_solution) const | operations_research::sat::NeighborhoodGeneratorHelper | |
FixGivenVariables(const CpSolverResponse &base_solution, const absl::flat_hash_set< int > &variables_to_fix) const | operations_research::sat::NeighborhoodGeneratorHelper | |
FULL_PROBLEM enum value | operations_research::sat::SubSolver | |
FullNeighborhood() const | operations_research::sat::NeighborhoodGeneratorHelper | |
GenerateTask(int64_t) override | operations_research::sat::NeighborhoodGeneratorHelper | inlinevirtual |
GetActiveIntervals(const CpSolverResponse &initial_solution) const | operations_research::sat::NeighborhoodGeneratorHelper | |
GetActiveRectangles(const CpSolverResponse &initial_solution) const | operations_research::sat::NeighborhoodGeneratorHelper | |
GetRoutingPaths(const CpSolverResponse &initial_solution) const | operations_research::sat::NeighborhoodGeneratorHelper | |
GetSchedulingPrecedences(const absl::flat_hash_set< int > &ignored_intervals, const CpSolverResponse &initial_solution, absl::BitGenRef random) const | operations_research::sat::NeighborhoodGeneratorHelper | |
GetUniqueIntervalSets() const | operations_research::sat::NeighborhoodGeneratorHelper | |
graph_mutex_ | operations_research::sat::NeighborhoodGeneratorHelper | mutable |
HELPER enum value | operations_research::sat::SubSolver | |
INCOMPLETE enum value | operations_research::sat::SubSolver | |
IsActive(int var) const ABSL_SHARED_LOCKS_REQUIRED(graph_mutex_) | operations_research::sat::NeighborhoodGeneratorHelper | |
IsDone() | operations_research::sat::SubSolver | inlinevirtual |
KeepActiveIntervals(absl::Span< const int > unfiltered_intervals, const CpSolverResponse &initial_solution) const | operations_research::sat::NeighborhoodGeneratorHelper | |
ModelProto() const | operations_research::sat::NeighborhoodGeneratorHelper | inline |
name() const | operations_research::sat::SubSolver | inline |
NeighborhoodGeneratorHelper(CpModelProto const *model_proto, SatParameters const *parameters, SharedResponseManager *shared_response, SharedBoundsManager *shared_bounds=nullptr) | operations_research::sat::NeighborhoodGeneratorHelper | |
NoNeighborhood() const | operations_research::sat::NeighborhoodGeneratorHelper | |
NumActiveVariables() const | operations_research::sat::NeighborhoodGeneratorHelper | inline |
Parameters() const | operations_research::sat::NeighborhoodGeneratorHelper | inline |
RelaxGivenVariables(const CpSolverResponse &initial_solution, const std::vector< int > &relaxed_variables) const | operations_research::sat::NeighborhoodGeneratorHelper | |
shared_response() const | operations_research::sat::NeighborhoodGeneratorHelper | inline |
SubSolver(absl::string_view name, SubsolverType type) | operations_research::sat::SubSolver | inline |
SubsolverType enum name | operations_research::sat::SubSolver | |
Synchronize() override | operations_research::sat::NeighborhoodGeneratorHelper | virtual |
TaskIsAvailable() override | operations_research::sat::NeighborhoodGeneratorHelper | inlinevirtual |
TimingInfo() const | operations_research::sat::SubSolver | inline |
type() const | operations_research::sat::SubSolver | inline |
TypeToConstraints(ConstraintProto::ConstraintCase type) const | operations_research::sat::NeighborhoodGeneratorHelper | inline |
UpdatedModelProtoCopy() const | operations_research::sat::NeighborhoodGeneratorHelper | |
VarToConstraint() const ABSL_SHARED_LOCKS_REQUIRED(graph_mutex_) | operations_research::sat::NeighborhoodGeneratorHelper | inline |
~SubSolver()=default | operations_research::sat::SubSolver | virtual |