CaDiCaL::Phases Struct Reference

#include <phases.hpp>

Collaboration diagram for CaDiCaL::Phases:

Public Attributes
vector< signed char >	best
vector< signed char >	forced
vector< signed char >	min
vector< signed char >	prev
vector< signed char >	saved
vector< signed char >	target

Detailed Description

Definition at line 10 of file phases.hpp.

Member Data Documentation

best

vector<signed char> CaDiCaL::Phases::best

Definition at line 12 of file phases.hpp.

forced

vector<signed char> CaDiCaL::Phases::forced

Definition at line 13 of file phases.hpp.

min

vector<signed char> CaDiCaL::Phases::min

Definition at line 14 of file phases.hpp.

prev

vector<signed char> CaDiCaL::Phases::prev

Definition at line 15 of file phases.hpp.

saved

vector<signed char> CaDiCaL::Phases::saved

Definition at line 16 of file phases.hpp.

target

vector<signed char> CaDiCaL::Phases::target

Definition at line 17 of file phases.hpp.

---

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

• src/sat/cadical/phases.hpp