Home
last modified time | relevance | path

Searched refs:Extra_UnateInfoCreateFromZdd (Results 1 – 2 of 2) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/extrab/
H A DextraBddUnate.c84 p = Extra_UnateInfoCreateFromZdd( dd, zRes, bSupp ); in Extra_UnateComputeFast()
227 Extra_UnateInfo_t * Extra_UnateInfoCreateFromZdd( DdManager * dd, DdNode * zPairs, DdNode * bSupp ) in Extra_UnateInfoCreateFromZdd() function
H A DextraBdd.h335 extern Extra_UnateInfo_t * Extra_UnateInfoCreateFromZdd( DdManager * dd, DdNode * zUnate, DdNode *…