operations_research::sat::FeasibilityJumpSolver Class Reference

Detailed Description

Definition at line 467 of file feasibility_jump.h.

#include <feasibility_jump.h>

Inheritance diagram for operations_research::sat::FeasibilityJumpSolver:

Public Member Functions
	FeasibilityJumpSolver (const absl::string_view name, SubSolver::SubsolverType type, const LinearModel *linear_model, SatParameters params, std::shared_ptr< SharedLsStates > ls_states, ModelSharedTimeLimit *shared_time_limit, SharedResponseManager *shared_response, SharedBoundsManager *shared_bounds, SharedLsSolutionRepository *shared_hints, SharedStatistics *shared_stats, SharedStatTables *stat_tables)
	~FeasibilityJumpSolver () override
void	Synchronize () final
bool	IsDone () final
bool	TaskIsAvailable () final
std::function< void()>	GenerateTask (int64_t) final
Public Member Functions inherited from operations_research::sat::SubSolver
	SubSolver (absl::string_view name, SubsolverType type)
virtual	~SubSolver ()=default
double	deterministic_time () const
std::string	name () const
SubsolverType	type () const
void	AddTaskDuration (double duration_in_seconds)
void	NotifySelection ()
void	AddTaskDeterministicDuration (double deterministic_duration)
std::string	TimingInfo () const
std::string	DeterministicTimingInfo () const
double	GetSelectionScore (bool deterministic) const

Additional Inherited Members
Public Types inherited from operations_research::sat::SubSolver
enum	SubsolverType { FULL_PROBLEM , FIRST_SOLUTION , INCOMPLETE , HELPER }

Constructor & Destructor Documentation

FeasibilityJumpSolver()

operations_research::sat::FeasibilityJumpSolver::FeasibilityJumpSolver ( const absl::string_view name, SubSolver::SubsolverType type, const LinearModel * linear_model, SatParameters params, std::shared_ptr< SharedLsStates > ls_states, ModelSharedTimeLimit * shared_time_limit, SharedResponseManager * shared_response, SharedBoundsManager * shared_bounds, SharedLsSolutionRepository * shared_hints, SharedStatistics * shared_stats, SharedStatTables * stat_tables )

inline

Definition at line 469 of file feasibility_jump.h.

~FeasibilityJumpSolver()

operations_research::sat::FeasibilityJumpSolver::~FeasibilityJumpSolver ( )

override

Definition at line 122 of file feasibility_jump.cc.

Member Function Documentation

GenerateTask()

std::function< void()> operations_research::sat::FeasibilityJumpSolver::GenerateTask ( int64_t )

finalvirtual

Implements operations_research::sat::SubSolver.

Definition at line 348 of file feasibility_jump.cc.

IsDone()

bool operations_research::sat::FeasibilityJumpSolver::IsDone ( )

inlinefinalvirtual

Reimplemented from operations_research::sat::SubSolver.

Definition at line 499 of file feasibility_jump.h.

Synchronize()

void operations_research::sat::FeasibilityJumpSolver::Synchronize ( )

inlinefinalvirtual

Implements operations_research::sat::SubSolver.

Definition at line 496 of file feasibility_jump.h.

TaskIsAvailable()

bool operations_research::sat::FeasibilityJumpSolver::TaskIsAvailable ( )

inlinefinalvirtual

Implements operations_research::sat::SubSolver.

Definition at line 507 of file feasibility_jump.h.

---

The documentation for this class was generated from the following files:

• ortools/sat/feasibility_jump.h
• ortools/sat/feasibility_jump.cc