Searched defs:bVars (Results 1 – 7 of 7) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/extrab/ |
| H A D | extraBddSymm.c | 108 DdNode * bVars) in Extra_zddSymmPairsCompute()
134 DdNode * bVars) /* the set of variables, on which F and G depend */ in Extra_zddGetSymmetricVars()
159 DdNode * bVars) /* the set of variables */ in Extra_zddGetSingletons()
183 DdNode * bVars, /* the set of variables to be reduced */ in Extra_bddReduceVarSet()
366 DdNode * bVars; in Extra_bddCheckVarsSymmetric() local
583 DdNode * bVars ) /* the set of variables on which this function depends */ in extraZddSymmPairsCompute()
808 DdNode * bVars) /* the set of variables, on which F and G depend */ in extraZddGetSymmetricVars()
1003 DdNode * bVars) /* the set of variables */ in extraZddGetSingletons()
1064 DdNode * bVars, /* the set of variables to be reduced */ in extraBddReduceVarSet()
1172 DdNode * bVars) in extraBddCheckVarsSymmetric()
|
| H A D | extraBddUnate.c | 108 DdNode * bVars) in Extra_zddUnateInfoCompute()
133 DdNode * bVars) /* the set of variables */ in Extra_zddGetSingletonsBoth()
388 DdNode * bVars ) /* the set of variables on which this function depends */ in extraZddUnateInfoCompute()
572 DdNode * bVars) /* the set of variables */ in extraZddGetSingletonsBoth()
|
| H A D | extraBddCas.c | 852 DdNode * ComputeVarSetAndCountMinterms( DdManager * dd, DdNode * bVars, DdNode * bVarTop, unsigned … in ComputeVarSetAndCountMinterms()
882 DdNode * ComputeVarSetAndCountMinterms2( DdManager * dd, DdNode * bVars, DdNode * bVarTop, unsigned… in ComputeVarSetAndCountMinterms2()
|
| H A D | extraBddMisc.c | 193 DdNode * bVars; in Extra_bddMove() local
1032 DdNode * bVars) in Extra_bddChangePolarity()
2044 DdNode * bVars) in extraBddChangePolarity()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/cas/ |
| H A D | casDec.c | 225 DdNode * bVars[32]; in CreateDecomposedNetwork() local
|
| /dports/math/cvc3/cvc3-2.4.1/src/theory_quant/ |
| H A D | quant_theorem_producer.cpp | 577 vector<Expr> bVars = out_forall.getVars(); in packVar() local
|
| H A D | theory_quant.cpp | 2882 bool goodMultiTriggers(const std::vector<Expr>& exprs, const std::vector<Expr> bVars){ in goodMultiTriggers()
3701 const std::vector<Expr>& bVars, in recGoodSemMatch()
|