Home
last modified time | relevance | path

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

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/extrab/
H A DextraBddMisc.c2399 DdNode * extraZddCombination( in extraZddCombination() function
2459 res = extraZddCombination(dd, VarValues, nVars); in Extra_zddCombination()