Detailed Description

Definition at line 62 of file bop_ls.h.

#include <bop_ls.h>

Public Member Functions
	SatWrapper (sat::SatSolver *sat_solver)
	SatWrapper (const SatWrapper &)=delete
SatWrapper &	operator= (const SatWrapper &)=delete
std::vector< sat::Literal >	FullSatTrail () const
bool	IsModelUnsat () const
const sat::VariablesAssignment &	SatAssignment () const
int	ApplyDecision (sat::Literal decision_literal, std::vector< sat::Literal > *propagated_literals)
void	BacktrackOneLevel ()
void	BacktrackAll ()
void	ExtractLearnedInfo (LearnedInfo *info)
double	deterministic_time () const

Constructor & Destructor Documentation

◆ SatWrapper() [1/2]

operations_research::bop::SatWrapper::SatWrapper ( sat::SatSolver * sat_solver )

explicit

Definition at line 655 of file bop_ls.cc.

◆ SatWrapper() [2/2]

operations_research::bop::SatWrapper::SatWrapper ( const SatWrapper & )

delete

Member Function Documentation

◆ ApplyDecision()

int operations_research::bop::SatWrapper::ApplyDecision	(	sat::Literal	decision_literal,
		std::vector< sat::Literal > *	propagated_literals )

Definition at line 669 of file bop_ls.cc.

◆ BacktrackAll()

void operations_research::bop::SatWrapper::BacktrackAll ( )

Definition at line 657 of file bop_ls.cc.

◆ BacktrackOneLevel()

void operations_research::bop::SatWrapper::BacktrackOneLevel ( )

Definition at line 695 of file bop_ls.cc.

◆ deterministic_time()

double operations_research::bop::SatWrapper::deterministic_time ( ) const

Definition at line 706 of file bop_ls.cc.

◆ ExtractLearnedInfo()

void operations_research::bop::SatWrapper::ExtractLearnedInfo ( LearnedInfo * info )

Definition at line 702 of file bop_ls.cc.

◆ FullSatTrail()

std::vector< sat::Literal > operations_research::bop::SatWrapper::FullSatTrail ( ) const

Definition at line 659 of file bop_ls.cc.

◆ IsModelUnsat()

bool operations_research::bop::SatWrapper::IsModelUnsat ( ) const

inline

Definition at line 78 of file bop_ls.h.

◆ operator=()

SatWrapper & operations_research::bop::SatWrapper::operator= ( const SatWrapper & )