Searched refs:d_useSemMatch (Results 1 – 2 of 2) sorted by relevance
327 const bool* d_useSemMatch;//!use semantic matching variable
167 d_useSemMatch(&(core->getFlags()["quant-sem-match"].getBool())), in TheoryQuant()7989 else if (*d_useSemMatch){ in checkSat()