# #include "multiset.h"

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

## Contents

- Public Routines
- Public Definitions
- Introduction

## Public Routines in File multiset.c

#### Index

greater_multiset |  |  |

#### Details

    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.

## Public Definitions in File multiset.h

## Introduction