Searched refs:fConeBias (Results 1 – 3 of 3) sorted by relevance
98 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()
60 pPars->fConeBias = 1; in Fra_ParamsDefault()88 pPars->fConeBias = 0; in Fra_ParamsDefaultSeq()
75 int fConeBias; // bias variables in the cone (good for unsat runs) member