Transformation semigroupoids. :s - source, domain, integer 0..n-1 :t - target, codomain, integer 0..n-1 :m - morphism, map
Transformation semigroupoids. :s - source, domain, integer 0..n-1 :t - target, codomain, integer 0..n-1 :m - morphism, map
(arrow-type a)Returns the type signature of an arrow, the domain-codomain, source-target pair in a vector.
Returns the type signature of an arrow, the domain-codomain, source-target pair in a vector.
(arrows-by-type S)Returns a hash-map with keys as types, i.e., [dom,codomain] pairs, and values as the set of all arrows of that type.
Returns a hash-map with keys as types, i.e., [dom,codomain] pairs, and values as the set of all arrows of that type.
(compose a b)Composition of typed transformations. Given a and b, the composite arrow
a then b is returned.
Note the automata theoretic composition notation, from left to right!
Returns nil when the arrows are not composable.
Composition of typed transformations. Given `a` and `b`, the composite arrow `a` then `b` is returned. Note the automata theoretic composition notation, from left to right! Returns `nil` when the arrows are not composable.
(comptab S)The composition table for semigroupoid sorted by type.
The composition table for semigroupoid sorted by type.
(full-semigroupoid graph type2size)Simply generating all transformation combinatorially based on the size of the source and target. graph - directed graph type2size - number of states for each type/object
Simply generating all transformation combinatorially based on the size of the source and target. graph - directed graph type2size - number of states for each type/object
(graph S)Returns the underlying graph of the arrow collection S.
Returns the underlying graph of the arrow collection `S`.
(sgpoid-by-gens gens)Returns the elements of the semigroupoid generated by the typed
transformations given in gens. Systematic prepending and appending
by composable generators.
Returns the elements of the semigroupoid generated by the typed transformations given in `gens`. Systematic prepending and appending by composable generators.
(sort-by-type S)The elements of the semigroupoid sorted by type then by transformations.
The elements of the semigroupoid sorted by type then by transformations.
(symbol-comptab S)Sequence of strings representing the composition table of the semigroupoid sorted by type and transformation. :n replaced by dot
Sequence of strings representing the composition table of the semigroupoid sorted by type and transformation. :n replaced by dot
(symbols-for-elts S)For checking the symbols and their corresponding elements.
For checking the symbols and their corresponding elements.
cljdoc builds & hosts documentation for Clojure/Script libraries
| Ctrl+k | Jump to recent docs |
| ← | Move to previous article |
| → | Move to next article |
| Ctrl+/ | Jump to the search field |