Searched refs:fMajority (Results 1 – 3 of 3) sorted by relevance
642 if ( p->pPars->fMajority ) in Zyx_ManSetupVars()757 assert( p->pPars->fMajority == (pTruth == NULL) ); in Zyx_ManTruthTables()760 if ( p->pPars->fMajority ) in Zyx_ManTruthTables()893 if ( p->pPars->fMajority ) in Zyx_ManAddCnfLazyTopo()1013 if ( p->pPars->fMajority ) in Zyx_ManAddCnfLazyFunc2()1146 if ( p->pPars->fMajority ) in Zyx_ManPrintSolutionFile()1175 if ( p->pPars->fMajority ) in Zyx_ManPrintSolution()1194 if ( !p->pPars->fMajority ) in Zyx_ManPrintSolution()1208 if ( p->pPars->fMajority ) in Zyx_ManEval()1224 if ( p->pPars->fMajority ) in Zyx_ManEval()[all …]
54 int fMajority; member73 pPars->fMajority = 0; in Bmc_EsParSetDefault()
9025 pPars->fMajority = 1; in Abc_CommandAllExact()9079 if ( pPars->fMajority ) in Abc_CommandAllExact()