CaDiCaL::Coveror Struct Reference

Public Member Functions
	Coveror ()

Public Attributes
std::vector< int >	added
std::vector< int >	extend
std::vector< int >	covered
std::vector< int >	intersection
size_t	alas
size_t	clas
struct {
size_t   added
size_t   covered
}	next

Detailed Description

Definition at line 28 of file cadical_cover.cpp.

Constructor & Destructor Documentation

Coveror()

CaDiCaL::Coveror::Coveror ( )

inline

Definition at line 40 of file cadical_cover.cpp.

: alas (0), clas (0) {}

Member Data Documentation

added [1/2]

std::vector<int> CaDiCaL::Coveror::added

Definition at line 29 of file cadical_cover.cpp.

added [2/2]

size_t CaDiCaL::Coveror::added

Definition at line 37 of file cadical_cover.cpp.

alas

size_t CaDiCaL::Coveror::alas

Definition at line 34 of file cadical_cover.cpp.

clas

size_t CaDiCaL::Coveror::clas

Definition at line 34 of file cadical_cover.cpp.

covered [1/2]

std::vector<int> CaDiCaL::Coveror::covered

Definition at line 31 of file cadical_cover.cpp.

covered [2/2]

size_t CaDiCaL::Coveror::covered

Definition at line 37 of file cadical_cover.cpp.

extend

std::vector<int> CaDiCaL::Coveror::extend

Definition at line 30 of file cadical_cover.cpp.

intersection

std::vector<int> CaDiCaL::Coveror::intersection

Definition at line 32 of file cadical_cover.cpp.

[struct]

struct { ... } CaDiCaL::Coveror::next

---

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

• src/sat/cadical/cadical_cover.cpp