ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
CaDiCaL::DFS Struct Reference

#include <decompose.hpp>

Collaboration diagram for CaDiCaL::DFS:

Public Member Functions

 DFS ()
 

Public Attributes

unsigned idx
 
unsigned min
 
Clauseparent
 

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.

22: idx (0), min (0), parent (0) {}
unsigned min
Definition decompose.hpp:20
unsigned idx
Definition decompose.hpp:19
Clause * parent
Definition decompose.hpp:21

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: