Searched +defs:list +defs:eqns (Results 1 – 1 of 1) sorted by relevance
152 static bool term_compute_top_nf(TermRef ref, Eqn_p eqns) in term_compute_top_nf()197 static bool term_compute_ground_NF(TermRef ref, Eqn_p eqns) in term_compute_ground_NF()227 static bool ground_normalize_eqn(Eqn_p eqn, Eqn_p eqns) in ground_normalize_eqn()268 static void ground_backward_contract(EqnRef from, Eqn_p eqns, EqnRef to) in ground_backward_contract()302 static void ground_complete_neg_eqns(EqnRef list) in ground_complete_neg_eqns()