[Erlang Systems]

sofs

MODULE

MODULE SUMMARY

DESCRIPTION

EXPORTS

a_function(Tuples [, Type]) -> Function

canonical_relation(SetOfSets) -> BinRel

composite(Function1, Function2) -> Function3

constant_function(Set, AnySet) -> Function

converse(BinRel1) -> BinRel2

difference(Set1, Set2) -> Set3

digraph_to_family(Graph [, Type]) -> Family

domain(BinRel) -> Set

drestriction(BinRel1, Set) -> BinRel2

drestriction(SetFun, Set1, Set2) -> Set3

empty_set() -> Set

family(Tuples [, Type]) -> Family

family_difference(Family1, Family2) -> Family3

family_domain(Family1) -> Family2

family_field(Family1) -> Family2

family_intersection(Family1) -> Family2

family_intersection(Family1, Family2) -> Family3

family_projection(SetFun, Family1) -> Family2

family_range(Family1) -> Family2

family_specification(Fun, Family1) -> Family2

family_to_digraph(Family [, GraphType]) -> Graph

family_to_relation(Family) -> BinRel

family_union(Family1) -> Family2

family_union(Family1, Family2) -> Family3

field(BinRel) -> Set

from_external(ExternalSet, Type) -> AnySet

from_sets(ListOfSets) -> Set

from_sets(TupleOfSets) -> Ordset

from_term(Term [, Type]) -> AnySet

image(BinRel, Set1) -> Set2

intersection(SetOfSets) -> Set

intersection(Set1, Set2) -> Set3

intersection_of_family(Family) -> Set

inverse(Function1) -> Function2

inverse_image(BinRel, Set1) -> Set2

is_a_function(BinRel) -> Bool

is_disjoint(Set1, Set2) -> Bool

is_empty_set(AnySet) -> Bool

is_equal(AnySet1, AnySet2) -> Bool

is_set(AnySet) -> Bool

is_sofs_set(Term) -> Bool

is_subset(Set1, Set2) -> Bool

is_type(Term) -> Bool

join(Relation1, I, Relation2, J) -> Relation3

multiple_relative_product(TupleOfBinRels, BinRel1) -> BinRel2

no_elements(ASet) -> NoElements

partition(SetOfSets) -> Partition

partition(SetFun, Set) -> Partition

partition_family(SetFun, Set) -> Family

product(TupleOfSets) -> Relation

product(Set1, Set2) -> BinRel

projection(SetFun, Set1) -> Set2

range(BinRel) -> Set

relation(Tuples [, Type]) -> Relation

relation_to_family(BinRel) -> Family

relative_product(TupleOfBinRels [, BinRel1]) -> BinRel2

relative_product(BinRel1, BinRel2) -> BinRel3

relative_product1(BinRel1, BinRel2) -> BinRel3

restriction(BinRel1, Set) -> BinRel2

restriction(SetFun, Set1, Set2) -> Set3

set(Terms [, Type]) -> Set

specification(Fun, Set1) -> Set2

strict_relation(BinRel1) -> BinRel2

substitution(SetFun, Set1) -> Set2

symdiff(Set1, Set2) -> Set3

symmetric_partition(Set1, Set2) -> {Set3, Set4, Set5}

to_external(AnySet) -> ExternalSet

to_sets(ASet) -> Sets

type(AnySet) -> Type

union(SetOfSets) -> Set

union(Set1, Set2) -> Set3

union_of_family(Family) -> Set

weak_relation(BinRel1) -> BinRel2

See Also

AUTHORS


stdlib 1.10
Copyright © 1991-2001 Ericsson Utvecklings AB