Searched refs:addSearchVal (Results 1 – 4 of 4) sorted by relevance
181 Node addSearchVal(TypeNode tn, Node e, Node bvr);
368 Node SygusPbe::addSearchVal(TypeNode tn, Node e, Node bvr) in addSearchVal() function in CVC4::theory::quantifiers::SygusPbe
338 Node bne = d_pbe->addSearchVal(d_tn, d_enum, bnr); in addTerm()
1062 bvr_equiv = aconj->getPbe()->addSearchVal(tn, a, bvr); in registerSearchValue()