Home
last modified time | relevance | path

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

/dports/misc/otter/otter-3.3f/source/
H A Dclause.c2411 int lit_compare(struct literal *l1, in lit_compare() function
2462 i = lit_compare(l1, l2); in ordered_sub_clause()
2539 while (curr && lit_compare(insert, curr) == GREATER_THAN) { in sort_lits()
H A Dproto.h451 int lit_compare(struct literal *l1,
H A DTAGS390 int lit_compare(2461,51283
/dports/misc/otter/otter-3.3f/mace2/
H A DTAGS661 int lit_compare(2411,50550