#include "multiset.h"

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

Public Routines in File multiset.c

BOOL greater_multiset(Term a1[], int n1, Term a2[], int n2,
		      BOOL (*comp_proc) (Term, Term, BOOL),
		      BOOL lex_order_vars);

Given two arrays of terms, check if the first is greater in the multiset extension of the ordering given by comp_proc.