Google OR-Tools v9.15
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
operations_research::sat::Vivifier Class Reference

Detailed Description

Definition at line 37 of file vivification.h.

#include <vivification.h>

Classes

struct  Counters

Public Member Functions

 Vivifier (Model *model)
ABSL_MUST_USE_RESULT bool MinimizeByPropagation (bool log_info, double dtime_budget, bool minimize_new_clauses_only=false)
int64_t last_num_vivified () const
int64_t last_num_literals_removed () const
Counters counters () const

Constructor & Destructor Documentation

◆ Vivifier()

operations_research::sat::Vivifier::Vivifier ( Model * model)
inlineexplicit

Definition at line 39 of file vivification.h.

Member Function Documentation

◆ counters()

Counters operations_research::sat::Vivifier::counters ( ) const
inline

Definition at line 73 of file vivification.h.

◆ last_num_literals_removed()

int64_t operations_research::sat::Vivifier::last_num_literals_removed ( ) const
inline

Definition at line 59 of file vivification.h.

◆ last_num_vivified()

int64_t operations_research::sat::Vivifier::last_num_vivified ( ) const
inline

Definition at line 58 of file vivification.h.

◆ MinimizeByPropagation()

bool operations_research::sat::Vivifier::MinimizeByPropagation ( bool log_info,
double dtime_budget,
bool minimize_new_clauses_only = false )

Definition at line 33 of file vivification.cc.

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