#include <relationGeneration.hpp>


Additional Inherited Members | |
Static Public Member Functions inherited from eSLIM::RelationGenerator< RelationGeneratorABC > | |
| static Abc_RData_t * | computeRelation (Gia_Man_t *gia_man, const Subcircuit &subcir) |
Definition at line 67 of file relationGeneration.hpp.