Searched refs:getStreamGuardedLemma (Results 1 – 2 of 2) sorted by relevance
364 Node getStreamGuardedLemma(Node n) const;
468 lem = getStreamGuardedLemma(lem); in doCheck()626 lem = getStreamGuardedLemma(lem); in doCheck()985 Node SynthConjecture::getStreamGuardedLemma(Node n) const in getStreamGuardedLemma() function in CVC4::theory::quantifiers::SynthConjecture