phyLS/docs/reduction.rst

15 lines
333 B
ReStructuredText
Raw Normal View History

2023-02-28 12:04:23 +00:00
Reduction
=============
**Header:** ``mockturtle/algorithms/functional_reduction.hpp``
The following example shows how to perform functional reduction
to remove constant nodes and functionally equivalent nodes in
the network.
.. code-block:: c++
/* derive some AIG */
aig_network aig = ...;
functional_reduction( aig );