blob: 7b8ab9587653792d227914e6e14506ec2bc17660 (
plain) (
tree)
|
|
FOR1 ��BEAMAtom
� �sofs from_term_EXITbadargerlangerrorfalsetrue
from_externalSetOrdSet empty_setis_type
tuple_sizesetlistsusortatom from_sets
tuple_to_listrelationand
make_tuple
a_functionfamilyto_externaltypeto_setsno_elementslength
specificationexternalunion
type_mismatchumergeintersection
differencesymdiffreversesymmetric_partitionproductmapmemberconstant_functionis_equal== is_subsetis_sofs_setis_setis_empty_set=:=is_disjointcanonical_relationrel2famrelation_to_familydomainrangefieldrelative_productfoorelative_product1converseimage
inverse_imagestrict_relation
weak_relation extensionmerge
is_a_functionrestrictiondrestriction compositesortinverseemptyelementkeysort
projectionsubstitution partitionmultiple_relative_productjoinfam2relfamily_to_relationfamily_specificationunion_of_familyintersection_of_familyfamily_unionfamily_intersection
family_domainfamily_rangefamily_fieldfamily_differencepartition_familyfamily_projectionfamily_to_digraphdigraphnewdeletedigraph_to_familyis_types-is_element_typeset_of_setsordset_of_sets
list_to_tuple
atoms_only+relrel_typefuncbad_functionfam2 func_typesetifyis_no_listscreatemake_element make_oset test_osettest_oset_argslist_of_setslist_of_ordsets
tuple_of_setsspec
intersection1
intersection2diffdiff2symdiff1symdiff2sympartsympart1sympart2prodsubsetdisjointlunionlasthdappend
lintersectioncan_rel
rel2familydomranrelprodrelprod1relprod2 relprod_nanyorflatdomain_type
range_typestrictweakweak1weak2extcextc2 extc_tail is_a_func
restrict_nrestrictdiff_restrict_n++
diff_restrictdiff_restrict_tailcompcomp1comp2inverse1substprojection1projection_nsubstitute_element
substitutepartition_npartition3_n
partition3partition3_tailreplacemul_relprod
raise_element=/=rearrjoin_element
join_element2
family2relfam_specfam_specification un_of_fam
int_of_famfam_unfam_intfam_domfam_ran fam_union
fam_intersectfam_differencecheck_functionfam_partition_n
fam_partitionfam_projsetfunfam2digraphforeachdigraph_familyverticesdigraph_famout_neighbours check_funflatten
number_tuplesmapfoldl
tuple2listhas_holemaxcheck_for_sort>inverse_substitution fun_rearrsets_to_listtypesunify_types1throwunify_typeslmatch_types1match_typeslmodule_infoget_module_info-sets_to_list/1-fun-0--tuple2list/1-fun-0--number_tuples/2-fun-0--fam2digraph/2-fun-1-
add_vertexfunction_clause-fam2digraph/2-fun-0-add_edgebad_edge-relprod_n/2-fun-0--relprod_n/4-fun-1--relprod_n/4-fun-0--family_difference/2-fun-0--family_intersection/2-fun-0--family_union/2-fun-0--join/4-fun-1--join/4-fun-0--product/2-fun-0--family/2-anonymous-0--a_function/2-anonymous-0- Code �>
|