Refactoring: aiger_reader NameMap #218
Description
The implementation of aiger_reader takes a network and optionally a NameMap as parameters. The second parameter is used to store the signal names from the AIGER file.
However, the optional parameter can be avoided by decorating the network with a names_view.
Metadata
Metadata
Assignees
Labels
No labels