Module lillib:ordsets

This module provides various predicates for manipulating a set. A set is represented as an ordered list.

Version

Time-stamp: <2004-04-18 18:03:12 yusuke>

Since

Jan 06, 2001

Author

Contents

Predicate

Top of this page Contents Index of this package LiLFeS Documents LiLFeS Home Page Tsujii laboratory

Predicate

empty_ordset/1

Formatempty_ordset($Set)
Arguments
$Setlist an empty set
an empty set

list_to_ord_set/2

Formatlist_to_ord_set(+$List, -$Set)
Arguments
+$Listlist an input list
-$Setlist an output set
convert a list to a set

ord_add_element/3

Formatord_add_element(+$Set1, +$Elem, -$Set2)
Arguments
+$Set1list an input set
+$Elembot an element to be inserted
-$Set2list an output set
$Elem is inserted into $Set1, and the result is returned to $Set2.

ord_del_element/3

Formatord_del_element(+$Set1, +$Elem, -$Set2)
Arguments
+$Set1list an input set
+$Elembot an element to be deleted
-$Set2list an output set
$Elem is deleted from $Set1, and the result is returned to $Set2.

ord_member/2

Formatord_member(+$Elem, +$Set)
Arguments
+$Elembot an element
+$Setlist an input set
true if $Elem is an element of $Set

set_seteq/2

Formatset_seteq(+$Set1, +$Set2)
Arguments
+$Set1list an input set
+$Set2list an input set
This is true when $Set1 and $Set2 are equivalent

ord_subset/2

Formatord_subset(+$Set1, +$Set2)
Arguments
+$Set1list an input set
+$Set2list an input set
This is true when $Set1 is a subset of $Set2

ord_union/3

Formatord_union(+$Set1, +$Set2, -$Set3)
Arguments
+$Set1list an input set
+$Set2list an input set
-$Set3list a union of the sets
$Set1 and $Set2 are merged, and the result is returned to $Set3.
Top of this page Contents Index of this package LiLFeS Documents LiLFeS Home Page Tsujii laboratory
Send comments to:
MIYAO Yusuke (yusuke@is.s.u-tokyo.ac.jp)
This document is automatically created by lildoc on Fri Sep 24 14:13:58 2004