Searched refs:d_useManTrig (Results 1 – 2 of 2) sorted by relevance
346 const bool* d_useManTrig; variable
181 d_useManTrig(&(core->getFlags()["quant-man-trig"].getBool())), in TheoryQuant()2944 if (*d_useManTrig ) { in setupTriggers()2984 if(*d_useManTrig && e.getTriggers().size() > 0 ){ in setupTriggers()3173 if(*d_useManTrig && e.getTriggers().size() > 0 ){ in setupTriggers()3306 if(!(*d_useManTrig) || e.getTriggers().size() <= 0){ in setupTriggers()4729 if(!*d_usePolarity || d_useManTrig){ in newTopMatchSig()