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

#include <ac_decomposition.hpp>

Collaboration diagram for acd::ac_decomposition_result:

Public Attributes

kitty::dynamic_truth_table tt
 
std::vector< uint32_tsupport
 

Detailed Description

Definition at line 80 of file ac_decomposition.hpp.

Member Data Documentation

◆ support

std::vector<uint32_t> acd::ac_decomposition_result::support

Definition at line 83 of file ac_decomposition.hpp.

◆ tt

kitty::dynamic_truth_table acd::ac_decomposition_result::tt

Definition at line 82 of file ac_decomposition.hpp.


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