Searched refs:refineCounterExample (Results 1 – 11 of 11) sorted by relevance
64 bool success = d_core->refineCounterExample(thm); in tryModelGeneration()102 d_core->refineCounterExample(); in getConcreteModel()
406 void refineCounterExample();407 bool refineCounterExample(Theorem& thm);
300 void refineCounterExample();
131 virtual void refineCounterExample() = 0;
310 virtual void refineCounterExample() {} in refineCounterExample() function
240 void refineCounterExample();
327 void refineCounterExample();
3415 bool TheoryCore::refineCounterExample(Theorem& thm) in refineCounterExample() function in TheoryCore3420 d_theories[i]->refineCounterExample(); in refineCounterExample()3429 void TheoryCore::refineCounterExample() in refineCounterExample() function in TheoryCore3434 d_theories[i]->refineCounterExample(); in refineCounterExample()
2147 void TheoryArith3::refineCounterExample() in refineCounterExample() function in TheoryArith3
1298 void TheoryArithNew::refineCounterExample() in refineCounterExample() function in TheoryArithNew
2726 void TheoryArithOld::refineCounterExample() in refineCounterExample() function in TheoryArithOld