Home
last modified time | relevance | path

Searched defs:bVarsNs (Results 1 – 2 of 2) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/extrab/
H A DextraBddImage.c919 DdNode * bVarsCs, * bVarsNs; in Extra_bddImagePrintLatchDependency() local
953 DdNode * bVarsCs, DdNode * bVarsNs, // the current/next state vars in Extra_bddImagePrintLatchDependencyOne()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/bbr/
H A DbbrImage.c1056 DdNode * bVarsCs, * bVarsNs; in Bbr_bddImagePrintLatchDependency() local
1090 DdNode * bVarsCs, DdNode * bVarsNs, // the current/next state vars in Bbr_bddImagePrintLatchDependencyOne()