Home
last modified time | relevance | path

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

/dports/misc/otter/otter-3.3f/source/
H A Dformula.c1022 static void mark_free_var_term(struct term *v, in mark_free_var_term() function
1046 mark_free_var_term(v, t1); in mark_free_var_term()
1063 mark_free_var_term(v, f->t); in mark_free_var_formula()
H A DTAGS517 static void mark_free_var_term(1022,22112
/dports/misc/otter/otter-3.3f/mace2/
H A DTAGS770 static void mark_free_var_term(1022,22112