CaDiCaL::definition_extractor Struct Reference

Collaboration diagram for CaDiCaL::definition_extractor:

Public Attributes
Eliminator *	eliminator
Internal *	internal
vector< Clause * >	clauses [2]
int	lit
vector< vector< int > >	implicants
int	unit

Detailed Description

Definition at line 13 of file cadical_definition.cpp.

Member Data Documentation

clauses

vector<Clause *> CaDiCaL::definition_extractor::clauses[2]

Definition at line 16 of file cadical_definition.cpp.

eliminator

Eliminator* CaDiCaL::definition_extractor::eliminator

Definition at line 14 of file cadical_definition.cpp.

implicants

vector<vector<int> > CaDiCaL::definition_extractor::implicants

Definition at line 18 of file cadical_definition.cpp.

internal

Internal* CaDiCaL::definition_extractor::internal

Definition at line 15 of file cadical_definition.cpp.

lit

int CaDiCaL::definition_extractor::lit

Definition at line 17 of file cadical_definition.cpp.

unit

int CaDiCaL::definition_extractor::unit

Definition at line 19 of file cadical_definition.cpp.

---

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

• src/sat/cadical/cadical_definition.cpp