OR-Tools  9.6
Public Member Functions | List of all members
Prober

Detailed Description

Definition at line 38 of file probing.h.

Public Member Functions

 Prober (Model *model)
 
bool ProbeBooleanVariables (double deterministic_time_limit)
 
bool ProbeBooleanVariables (double deterministic_time_limit, absl::Span< const BooleanVariable > bool_vars)
 
bool ProbeOneVariable (BooleanVariable b)
 
int num_new_literals_fixed () const
 
int num_new_binary_clauses () const
 
void SetPropagationCallback (std::function< void(Literal decision)> f)
 

Constructor & Destructor Documentation

◆ Prober()

Prober ( Model *  model)
explicit

Definition at line 43 of file probing.cc.

Member Function Documentation

◆ num_new_binary_clauses()

int num_new_binary_clauses ( ) const
inline

Definition at line 88 of file probing.h.

◆ num_new_literals_fixed()

int num_new_literals_fixed ( ) const
inline

Definition at line 87 of file probing.h.

◆ ProbeBooleanVariables() [1/2]

bool ProbeBooleanVariables ( double  deterministic_time_limit)

Definition at line 54 of file probing.cc.

◆ ProbeBooleanVariables() [2/2]

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

Definition at line 215 of file probing.cc.

◆ ProbeOneVariable()

bool ProbeOneVariable ( BooleanVariable  b)

Definition at line 197 of file probing.cc.

◆ SetPropagationCallback()

void SetPropagationCallback ( std::function< void(Literal decision)>  f)
inline

Definition at line 93 of file probing.h.

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