Utility data structures
-----------------------

Truth table cache
~~~~~~~~~~~~~~~~~

**Header:** ``mockturtle/utils/truth_table_cache.hpp``

.. doc_overview_table:: classmockturtle_1_1truth__table__cache
   :column: Method

   truth_table_cache
   insert
   operator[]
   size

.. doxygenclass:: mockturtle::truth_table_cache
   :members:

Node map
~~~~~~~~

**Header:** ``mockturtle/utils/node_map.hpp``

This group of containers helps to store and access values associated to
nodes in a network.

Three implementations are provided, two using `std::vector` and one
using `std::unordered_map` as internal storage.  Using `std::vector`,
the default implementation of `node_map` pre-allocates memory for all
nodes and provides a fast way to access the data. When only a subset of
nodes are associated with values, both `unordered_node_map` and 
`incomplete_node_map` provide interfaces to check whether a value
is available. Using `std::unordered_map`, the former uses less memory
but has a slower access speed; the latter uses `std::vector` together with
validity tags to trade efficiency with memory.

**Example**

.. code-block:: c++

   aig_network aig = ...
   node_map<std::string, aig_network> node_names( aig );
   aig.foreach_node( [&]( auto n ) {
     node_names[n] = "some string";
   } );


.. doxygenclass:: mockturtle::node_map
   :members:

.. doxygenclass:: mockturtle::incomplete_node_map
   :members:

.. doxygenfunction:: mockturtle::initialize_copy_network

Tech library
~~~~~~~~~~~~

**Header:** ``mockturtle/utils/tech_library.hpp``

.. doc_overview_table:: classmockturtle_1_1tech__library
   :column: Method

   get_supergates
   get_inverter_info
   max_gate_size
   get_gates

.. doxygenclass:: mockturtle::tech_library
   :members:

.. _exact_library:

Exact library
~~~~~~~~~~~~~

**Header:** ``mockturtle/utils/tech_library.hpp``

.. doc_overview_table:: classmockturtle_1_1exact__library
   :column: Method

   get_supergates
   get_database
   get_inverter_info

.. doxygenclass:: mockturtle::exact_library
   :members:

Supergates utils
~~~~~~~~~~~~~~~~

**Header:** ``mockturtle/utils/super_utils.hpp``

.. doc_overview_table:: classmockturtle_1_1super__utils
   :column: Method

   get_super_library
   get_standard_library_size

.. doxygenclass:: mockturtle::super_utils
   :members:

Struct library
~~~~~~~~~~~~~~

**Header:** ``mockturtle/utils/struct_library.hpp``

.. doc_overview_table:: classmockturtle_1_1struct__library
   :column: Method

   get_struct_library
   get_pattern_id
   get_supergates_pattern
   print_and_table

.. doxygenclass:: mockturtle::struct_library
   :members:

Cuts
~~~~

**Header:** ``mockturtle/utils/cuts.hpp``

.. doc_overview_table:: classmockturtle_1_1cut
   :column: Method

   operator=
   set_leaves
   signature
   size
   begin
   end
   operator->
   data
   subsumes
   merge

.. doxygenclass:: mockturtle::cut
   :members:

Cut sets
~~~~~~~~

**Header:** ``mockturtle/utils/cuts.hpp``

.. doc_overview_table:: classmockturtle_1_1cut__set
   :column: Method

   cut_set
   clear
   add_cut
   is_subsumed
   insert
   begin
   end
   size
   operator[]
   best
   update_best
   limit
   operator<<

.. doxygenclass:: mockturtle::cut_set
   :members:

.. _index_list:

Index list
~~~~~~~~~~

**Header:** ``mockturtle/utils/index_list.hpp``

.. doxygenstruct:: mockturtle::mig_index_list
.. doxygenfunction:: mockturtle::encode( mig_index_list&, Ntk const& )
.. doxygenfunction:: mockturtle::insert( Ntk&, BeginIter, EndIter, mig_index_list const&, Fn&& )
.. doxygenfunction:: mockturtle::to_index_list_string( mig_index_list const& )

.. doxygenstruct:: mockturtle::xag_index_list
.. doxygenfunction:: mockturtle::encode( xag_index_list<separate_header>&, Ntk const& )
.. doxygenfunction:: mockturtle::insert( Ntk&, BeginIter, EndIter, xag_index_list<separate_header> const&, Fn&& )
.. doxygenfunction:: mockturtle::to_index_list_string( xag_index_list<true> const& )

.. doxygenfunction:: mockturtle::decode( Ntk&, IndexList const& )
.. doxygenclass:: mockturtle::aig_index_list_enumerator

Stopwatch
~~~~~~~~~

**Header:** ``mockturtle/utils/stopwatch.hpp``

.. doc_overview_table:: classmockturtle_1_1stopwatch
   :column: Method

   stopwatch
   ~stopwatch

.. doxygenclass:: mockturtle::stopwatch
   :members:

.. doxygenfunction:: mockturtle::call_with_stopwatch

.. doxygenfunction:: mockturtle::make_with_stopwatch

.. doxygenfunction:: mockturtle::to_seconds

Progress bar
~~~~~~~~~~~~

**Header:** ``mockturtle/utils/progress_bar.hpp``

.. doc_overview_table:: classmockturtle_1_1progress__bar
   :column: Method

   progress_bar
   ~progress_bar
   operator()
   done

.. doxygenclass:: mockturtle::progress_bar
   :members: