Searched refs:fIndConstr (Results 1 – 6 of 6) sorted by relevance
60 p->fIndConstr = 0; in Llb_ManSetDefaultParams()119 if ( pPars->fIndConstr ) in Llb_ManModelCheckAig()181 if ( pPars->fIndConstr ) in Llb_ManModelCheckAig()
55 int fIndConstr; // extract inductive constraints member
1310 p->fIndConstr = 0; in Llb_BddSetDefaultParams()
29 opt bool: fIndConstr; %% User option, e.g., with -D32 if absent( fIndConstr ) then false33 else deopt( fIndConstr ) endif;
213 Add command-line parameters ``-D fIndConstr=true -D fMIPdomains=false`` when flattening
40982 pPars->fIndConstr ^= 1; in Abc_CommandAbc9ReachM()41044 … : enable extraction of inductive constraints [default = %s]\n", pPars->fIndConstr? "yes": "no" ); in Abc_CommandAbc9ReachM()