#include <relationGeneration.hpp>
Static Public Member Functions | |
| static Abc_RData_t * | computeRelation (Gia_Man_t *gia_man, const Subcircuit &subcir) |
Definition at line 43 of file relationGeneration.hpp.
|
inlinestatic |
Definition at line 96 of file relationGeneration.hpp.