Changes between Version 63 and Version 64 of IR2

Timestamp:

05/02/21 16:59:38 (5 years ago)

Author:

siegel

Comment:

--

IR2

@@ -278 +278 @@
 <T> $int $seq_length( $seq<T> a ); // length of a
 <T> T $seq_get( $seq<T> a, $int i ); // get element i of a
+<T> $seq<T> $seq_set( $seq<T> a, $int i, T x ); // seq obtained by replacing element i of a with x
 <T> $seq<T> $seq_subseq( $seq<T> a, $int start, $int stop ); // subsequence from start to stop-1
 <T> $seq<T> $seq_add( $seq<T> a, T e ); // sequence obtained by adding element e to the end of a
@@ -283 +284 @@
 <T> $seq<T> $seq_remove( $seq<T> a, $int i ); // sequence obtained by removing element at position i from a
 <T> $seq<T> $seq_insert( $seq<T> a, $int i, T x ); // sequence obtained by inserting element x at position i in a
+
 }}}
 
 === `set.cvh` ===
 
-* add an element to a set
-* test if an element is in a set
-* union
-* intersection
-* difference
-
+{{{
+<T> $int $set_size( $set<T> s ); // number of elements in s
+<T> $seq<T> $set_seq( $set<T> s ); // elements of s arranged in a sequence
+<T> $bool $set_contains( $set<T> s, T x ); // does s contain x as member?
+<T> $bool $set_containsAll( $set<T> s1, $set<T> s2 ); // is s2 a subset of s1?
+<T> $set<T> $set_add( $set<T> s, T x ); // result of adding x to s
+<T> $set<T> $set_union( $set<T> s1, $set<T> s2 ); // union of s1 and s2
+<T> $set<T> $set_intersection( $set<T> s1, $set<T> s2 ); // intersection of s1 and s2
+<T> $set<T> $set_difference( $set<T> s1, $set<T> s2 ); // elements of s1 not in s2
+
+}}}
 
 === `map.cvh` ===
+
+{{{
+
+}}}
+
 
 === `rel.cvh` ===