Home
last modified time | relevance | path

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

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/fra/
H A DfraSat.c98 if ( p->pPars->fConeBias ) in Fra_NodesAreEquiv()
259 if ( p->pPars->fConeBias ) in Fra_NodesAreImp()
367 if ( p->pPars->fConeBias ) in Fra_NodesAreClause()
450 if ( p->pPars->fConeBias ) in Fra_NodeIsConst()
H A DfraMan.c60 pPars->fConeBias = 1; in Fra_ParamsDefault()
88 pPars->fConeBias = 0; in Fra_ParamsDefaultSeq()
H A Dfra.h75 int fConeBias; // bias variables in the cone (good for unsat runs) member