operations_research::sat::Prober Class Reference

Detailed Description

Definition at line 48 of file probing.h.

#include <probing.h>

Public Types
enum	DnfType { kAtLeastOne , kAtLeastOneOrZero , kAtLeastOneCombination }

Public Member Functions
	Prober (Model *model)
	~Prober ()
bool	ProbeBooleanVariables (double deterministic_time_limit)
bool	ProbeBooleanVariables (double deterministic_time_limit, absl::Span< const BooleanVariable > bool_vars)
bool	ProbeOneVariable (BooleanVariable b)
bool	ProbeDnf (absl::string_view name, absl::Span< const std::vector< Literal > > dnf, DnfType type, const SatClause *dnf_clause=nullptr)
int	num_decisions () const
int	num_new_literals_fixed () const
int	num_new_binary_clauses () const
void	SetPropagationCallback (std::function< void(Literal decision)> f)

Member Enumeration Documentation

DnfType

enum operations_research::sat::Prober::DnfType

Enumerator
kAtLeastOne
kAtLeastOneOrZero
kAtLeastOneCombination

Definition at line 98 of file probing.h.

Constructor & Destructor Documentation

Prober()

operations_research::sat::Prober::Prober ( Model * model )

explicit

Definition at line 264 of file probing.cc.

~Prober()

operations_research::sat::Prober::~Prober

(

)

Definition at line 282 of file probing.cc.

Member Function Documentation

num_decisions()

int operations_research::sat::Prober::num_decisions ( ) const

inline

Definition at line 121 of file probing.h.

num_new_binary_clauses()

int operations_research::sat::Prober::num_new_binary_clauses ( ) const

inline

Definition at line 123 of file probing.h.

num_new_literals_fixed()

int operations_research::sat::Prober::num_new_literals_fixed ( ) const

inline

Definition at line 122 of file probing.h.

ProbeBooleanVariables() [1/2]

bool operations_research::sat::Prober::ProbeBooleanVariables

(

double

deterministic_time_limit

)

Definition at line 284 of file probing.cc.

ProbeBooleanVariables() [2/2]

bool operations_research::sat::Prober::ProbeBooleanVariables	(	double	deterministic_time_limit,
		absl::Span< const BooleanVariable >	bool_vars )

Definition at line 553 of file probing.cc.

ProbeDnf()

bool operations_research::sat::Prober::ProbeDnf	(	absl::string_view	name,
		absl::Span< const std::vector< Literal > >	dnf,
		DnfType	type,
		const SatClause *	dnf_clause = nullptr )

Definition at line 653 of file probing.cc.

ProbeOneVariable()

bool operations_research::sat::Prober::ProbeOneVariable

(

BooleanVariable

b

)

Definition at line 536 of file probing.cc.

SetPropagationCallback()

void operations_research::sat::Prober::SetPropagationCallback ( std::function< void(Literal decision)> f )

inline

Definition at line 128 of file probing.h.

---

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

• ortools/sat/probing.h
• ortools/sat/probing.cc