#include "termorder.h"

This page has information from files termorder.h and termorder.c.

Contents


Public Routines in File termorder.c

Index

greater_multisetlrpo_multisetterm_compare_vcp
lrpoterm_compare_ncv

Details


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
{SAME_AS, GREATER_THAN, LESS_THAN}.
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
{SAME_AS, GREATER_THAN, LESS_THAN}.

Public Definitions in File termorder.h


Introduction


These activities are projects of the Mathematics and Computer Science Division of Argonne National Laboratory.