Searched refs:filterPair (Results 1 – 4 of 4) sorted by relevance
92 foreach (var filterPair in f_Controller.GetFilterList()) { in Save()95 if ((int) row[1] == filterPair.Key) { in Save()101 f_Controller.RemoveFilter(filterPair.Key); in Save()
139 bool filterPair(Node n, Node eq_n);
102 if (!d_crewrite_filter.filterPair(sol, eq_sol)) in addTerm()
231 bool CandidateRewriteFilter::filterPair(Node n, Node eq_n) in filterPair() function in CVC4::theory::quantifiers::CandidateRewriteFilter