ac_decomposition.hpp File Reference

Ashenhurst-Curtis decomposition. More...

#include <algorithm>
#include <cassert>
#include <cstdint>
#include <type_traits>
#include <unordered_map>
#include <vector>
#include "kitty_constants.hpp"
#include "kitty_constructors.hpp"
#include "kitty_dynamic_tt.hpp"
#include "kitty_operations.hpp"
#include "kitty_operators.hpp"
#include "kitty_static_tt.hpp"

Include dependency graph for ac_decomposition.hpp:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
struct	acd::ac_decomposition_params
	Parameters for ac_decomposition. More...
struct	acd::ac_decomposition_stats
	Statistics for ac_decomposition. More...
struct	acd::ac_decomposition_result
class	acd::ac_decomposition_impl

Namespaces
namespace	acd

Detailed Description

Ashenhurst-Curtis decomposition.

C++File**************************************************************

FileName [ac_decomposition.hpp]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Ashenhurst-Curtis decomposition.]

Synopsis [Interface with the FPGA mapping package.]

Author [Alessandro Tempia Calvino]

Affiliation [EPFL]

Date [Ver. 1.0. Started - November 20, 2023.]

Author

Alessandro Tempia Calvino

Definition in file ac_decomposition.hpp.