operations_research::sat::Vivifier::Counters Struct Reference

Detailed Description

Definition at line 64 of file vivification.h.

#include <vivification.h>

Public Attributes
int64_t	num_clauses_vivified = 0
int64_t	num_decisions = 0
int64_t	num_true = 0
int64_t	num_subsumed = 0
int64_t	num_removed_literals = 0
int64_t	num_reused = 0
int64_t	num_conflicts = 0

Member Data Documentation

num_clauses_vivified

int64_t operations_research::sat::Vivifier::Counters::num_clauses_vivified = 0

Definition at line 65 of file vivification.h.

num_conflicts

int64_t operations_research::sat::Vivifier::Counters::num_conflicts = 0

Definition at line 71 of file vivification.h.

num_decisions

int64_t operations_research::sat::Vivifier::Counters::num_decisions = 0

Definition at line 66 of file vivification.h.

num_removed_literals

int64_t operations_research::sat::Vivifier::Counters::num_removed_literals = 0

Definition at line 69 of file vivification.h.

num_reused

int64_t operations_research::sat::Vivifier::Counters::num_reused = 0

Definition at line 70 of file vivification.h.

num_subsumed

int64_t operations_research::sat::Vivifier::Counters::num_subsumed = 0

Definition at line 68 of file vivification.h.

num_true

int64_t operations_research::sat::Vivifier::Counters::num_true = 0

Definition at line 67 of file vivification.h.

---

The documentation for this struct was generated from the following file:

• ortools/sat/vivification.h