Home
last modified time | relevance | path

Searched refs:equal_atom_lists (Results 1 – 1 of 1) sorted by relevance

/dports/math/yices/yices-2.6.2/src/solvers/egraph/
H A Degraph.c1058 static bool equal_atom_lists(atom_t *atom1, atom_t *atom2) { in equal_atom_lists() function
1074 assert(equal_atom_lists(atom1, atom2)); in split_atom_lists()