CaDiCaL::DFS Struct Reference

#include <decompose.hpp>

Collaboration diagram for CaDiCaL::DFS:

Public Member Functions
	DFS ()

Public Attributes
unsigned	idx
unsigned	min
Clause *	parent

Detailed Description

Definition at line 18 of file decompose.hpp.

Constructor & Destructor Documentation

DFS()

CaDiCaL::DFS::DFS ( )

inline

Definition at line 22 of file decompose.hpp.

: idx (0), min (0), parent (0) {}

Member Data Documentation

idx

unsigned CaDiCaL::DFS::idx

Definition at line 19 of file decompose.hpp.

min

unsigned CaDiCaL::DFS::min

Definition at line 20 of file decompose.hpp.

parent

Clause* CaDiCaL::DFS::parent

Definition at line 21 of file decompose.hpp.

---

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

• src/sat/cadical/decompose.hpp