Home
last modified time | relevance | path

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

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/
H A DabcRestruct.c772 if ( !Extra_bddIsVar(bCofE) || !Extra_bddIsVar(bCofT) ) in Abc_NodeEvaluateDsd_rec()
779 if ( !Extra_bddIsVar(bCofE) || !Extra_bddIsVar(bCofT) ) in Abc_NodeEvaluateDsd_rec()
786 if ( !Extra_bddIsVar(bCofE) || !Extra_bddIsVar(bCofT) ) in Abc_NodeEvaluateDsd_rec()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/extrab/
H A DextraBdd.h187 extern int Extra_bddIsVar( DdNode * bFunc );
H A DextraBddMisc.c839 int Extra_bddIsVar( DdNode * bFunc ) in Extra_bddIsVar() function