Home
last modified time | relevance | path

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

/dports/misc/otter/otter-3.3f/source/
H A Dclause.c323 static struct term *literals_to_term(struct literal *l) in literals_to_term() function
339 t2 = literals_to_term(l->next_lit); in literals_to_term()
362 t = literals_to_term(c->first_lit); in clause_to_term()
H A DTAGS330 static struct term *literals_to_term(331,7421
/dports/misc/otter/otter-3.3f/mace2/
H A DTAGS601 static struct term *literals_to_term(323,7312