Home
last modified time | relevance | path

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

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/extrab/
H A DextraBddImage.c120 int * piNode1, int * piNode2 );
875 int * piNode1, int * piNode2 ) in Extra_FindBestPartitions() argument
898 *piNode1 = iPart1; in Extra_FindBestPartitions()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/bbr/
H A DbbrImage.c131 int * piNode1, int * piNode2 );
1012 int * piNode1, int * piNode2 ) in Bbr_FindBestPartitions() argument
1035 *piNode1 = iPart1; in Bbr_FindBestPartitions()