Searched refs:collect_path_atoms (Results 1 – 1 of 1) sorted by relevance
897 static void collect_path_atoms(fun_solver_t *solver, thvar_t x, thvar_t y, composite_t *c, composit… in collect_path_atoms() function1556 collect_path_atoms(solver, x, z, c, d, lemma); in fun_solver_add_axiom2()