モジュール lillib:ordsets

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

バージョン

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

登場したバージョン

Jan 06, 2001

著者

目次

述語

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

述語

empty_ordset/1

書式empty_ordset($Set)
引数
$Setlist an empty set
an empty set

list_to_ord_set/2

書式list_to_ord_set(+$List, -$Set)
引数
+$Listlist an input list
-$Setlist an output set
convert a list to a set

ord_add_element/3

書式ord_add_element(+$Set1, +$Elem, -$Set2)
引数
+$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

書式ord_del_element(+$Set1, +$Elem, -$Set2)
引数
+$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

書式ord_member(+$Elem, +$Set)
引数
+$Elembot an element
+$Setlist an input set
true if $Elem is an element of $Set

set_seteq/2

書式set_seteq(+$Set1, +$Set2)
引数
+$Set1list an input set
+$Set2list an input set
This is true when $Set1 and $Set2 are equivalent

ord_subset/2

書式ord_subset(+$Set1, +$Set2)
引数
+$Set1list an input set
+$Set2list an input set
This is true when $Set1 is a subset of $Set2

ord_union/3

書式ord_union(+$Set1, +$Set2, -$Set3)
引数
+$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
コメントはこちら:
MIYAO Yusuke (yusuke@is.s.u-tokyo.ac.jp)
This document is automatically created by lildoc on Fri Sep 24 14:14:00 2004