Searched refs:excludeCurrentSolution (Results 1 – 2 of 2) sorted by relevance
372 void excludeCurrentSolution();
551 excludeCurrentSolution(); in doCheck()1018 excludeCurrentSolution(); in printAndContinueStream()1021 void SynthConjecture::excludeCurrentSolution() in excludeCurrentSolution() function in CVC4::theory::quantifiers::SynthConjecture