A change of the methods has_and, has_xor, has_maj, and has_xor3 in aig_network, xag_network, mig_network, and xmg_network to return a std::optional<signal> instead of a std::optional<node>
Bug fixes in rewrite due to the propagation of inverters and possible cycles after node substitution
Change in aig_balance to use the new has_and method
This PR includes:
has_and,has_xor,has_maj, andhas_xor3inaig_network,xag_network,mig_network, andxmg_networkto return astd::optional<signal>instead of astd::optional<node>rewritedue to the propagation of inverters and possible cycles after node substitutionaig_balanceto use the newhas_andmethod