Searched refs:add_solver (Results 1 – 9 of 9) sorted by relevance
161 map(self.add_solver, solvers)163 def add_solver(self, fname): member in MetricsClass
86 add_solver(ext); in quantifier2solver()120 add_solver(ext); in get_solver()126 void solver::add_solver(th_solver* th) { in add_solver() function in euf::solver672 r->add_solver(s_clone); in copy()
138 void add_solver(th_solver* th);
220 def add_solver(self): member in MiniIC3367 self.add_solver()
359 def add_solver(self): member in Quip480 self.add_solver()636 self.add_solver()
220 def add_solver(self):367 self.add_solver()
359 def add_solver(self):480 self.add_solver()636 self.add_solver()
93 add_solver(ext); in quantifier2solver()130 add_solver(ext); in get_solver()136 void solver::add_solver(th_solver* th) { in add_solver() function in euf::solver882 r->add_solver(s_clone); in copy()
148 void add_solver(th_solver* th);