Module s2_csets

Counting sets.

Behaviours: s2_gen_lattice.

References

Description

Counting sets.

Data Types

cset()

abstract datatype: cset()

mode()

mode() = cset | set

Function Index

add_element/2
cnt_element/2
compare/2
del_element/2
is_cset/1
is_element/2
is_mode/1
is_subset/2
merge/2
mode/1
new/0
toggle/1
union/2
update/2
value/1

Function Details

add_element/2

add_element(X1::cset(), X::term()) -> cset()

cnt_element/2

cnt_element(X1::cset(), X::term()) -> integer()

compare/2

compare(S1::cset(), S2::cset()) -> s2_gen_lattice:relation()

del_element/2

del_element(X1::cset(), X::term()) -> cset()

is_cset/1

is_cset(X1::term()) -> boolean()

is_element/2

is_element(S::cset(), X::term()) -> boolean()

is_mode/1

is_mode(X1::term()) -> boolean()

is_subset/2

is_subset(X1::cset(), X2::cset()) -> boolean()

merge/2

merge(S1::cset(), S2::cset()) -> cset()

mode/1

mode(X1::cset()) -> mode()

new/0

new() -> cset()

toggle/1

toggle(X1::cset()) -> cset()

union/2

union(X1::cset(), X2::cset()) -> cset()

update/2

update(S::cset(), X2::term()) -> cset()

value/1

value(X1::cset()) -> [term()]


Generated by EDoc, Mar 14 2025, 16:51:43.