greater_multiset | lrpo_multiset | term_compare_vcp | |
lrpo | term_compare_ncv |
BOOL greater_multiset(Term a1[], int n1, Term a2[], int n2);Given two arrays of terms, check if the first is greater in the multiset extension of lrpo.
BOOL lrpo(Term t1, Term t2);This Boolean routine checks if Term t1 > Term t2 in the Lexicographic Recursive Path Ordering. Function symbols can have either multiset or left-to-right status. See symbols.h to set those properties.
BOOL lrpo_multiset(Term t1, Term t2);This routine
Ordertype term_compare_ncv(Term t1, Term t2);This routine compares two terms. The ordering is CONSTANT < COMPLEX < VARIABLE; within type, the order is by VARNUM and lexigocgaphic by SYMNUM. The range of return values is
Ordertype term_compare_vcp(Term t1, Term t2);This routine compares two terms. The ordering is VARIABLE < CONSTANT < COMPLEX; within type, the order is by VARNUM and lexigocgaphic by SYMNUM. The range of return values is
These activities are projects of the Mathematics and Computer Science Division of Argonne National Laboratory.