Preset Types

Network and truth-table presets instantiate the library algorithms. Gate-layout types are documented in Gate-Level Layout.

Header: fiction/types.hpp

using fiction::tt = kitty::dynamic_truth_table

This file provides preset types that can be used as parameter types to run fiction’s algorithms. They are furthermore utilized in fiction’s CLI. Naturally, this selection is neither complete nor final and can be extended at any time by custom types. Truth tables.

using fiction::tt_ptr = std::shared_ptr<tt>

using fiction::truth_table_t = tt_ptr

using fiction::aig_nt = mockturtle::names_view<mockturtle::aig_network>

Logic networks.

using fiction::aig_ptr = std::shared_ptr<aig_nt>

using fiction::xag_nt = mockturtle::names_view<mockturtle::xag_network>

using fiction::xag_ptr = std::shared_ptr<xag_nt>

using fiction::mig_nt = mockturtle::names_view<mockturtle::mig_network>

using fiction::mig_ptr = std::shared_ptr<mig_nt>

using fiction::tec_nt = mockturtle::names_view<fiction::networks::technology_network>

using fiction::tec_ptr = std::shared_ptr<tec_nt>

using fiction::logic_network_t = std::variant<aig_ptr, xag_ptr, mig_ptr, tec_ptr>

constexpr auto fiction::aig_name = "AIG"

constexpr auto fiction::xag_name = "XAG"

constexpr auto fiction::mig_name = "MIG"

constexpr auto fiction::tec_name = "TEC"

template<class Ntk>
constexpr auto fiction::ntk_type_name = get_ntk_type_name<Ntk>()

template<class Ntk>
constexpr const char *fiction::get_ntk_type_name()