Searched refs:addRefinementLemma (Results 1 – 3 of 3) sorted by last modified time
372 addRefinementLemma(plem); in registerRefinementLemma()
297 void Cegis::addRefinementLemma(Node lem) in addRefinementLemma() function in CVC4::theory::quantifiers::Cegis428 addRefinementLemma(lem); in registerRefinementLemma()595 addRefinementLemma(rlem); in sampleAddRefinementLemma()
110 void addRefinementLemma(Node lem);