Home
last modified time | relevance | path

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

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/
H A DabcNtbdd.c634 DdNode * bImp, * bSum, * bTemp; in Abc_NtkBddImplicationTest() local
/dports/math/cvc4/CVC4-1.7/src/theory/arith/
H A Dlinear_equality.h368 WitnessImprovement bImp = b.getWitness(!heuristic); in preferWitness() local