This is the hyperlattices Reference Manual, version 0.1.5, generated automatically by Declt version 4.0 beta 2 "William Riker" on Tue Jul 15 05:21:10 2025 GMT+0.
hyperlattices/hyperlattices.asdhyperlattices/generic-interface.lisphyperlattices/hash-table-utils.lisphyperlattices/poset.lisphyperlattices/generalized-lattice.lisphyperlattices/lattice.lisphyperlattices/probabilistic-lattice.lisphyperlattices/hyperlattice.lisphyperlattices/probabilistic-hyperlattice.lisphyperlattices/asdfhyperlattices/probabilistic-hyperlatticehyperlattices/partially-ordered-sethyperlattices/latticehyperlattices/hash-table-utilshyperlattices/generic-interfacehyperlattices/hyperlatticehyperlattices/generalized-latticehyperlattices/probabilistic-latticeThe main system appears first, followed by any subsystem dependency.
hyperlatticesGeneralized Lattice algebraic datatypes, incl., LATTICE, HYPERLATTICE, PROBABILISTIC-LATTICE, and PROBABILISTIC-HYPERLATTICE.
"the Phoeron" Colin J.E. Lupton
(GIT https://github.com/thephoeron/hyperlattices.git)
MIT
0.1.5
alexandria (system).
serapeum (system).
closer-mop (system).
trivial-types (system).
generic-interface.lisp (file).
hash-table-utils.lisp (file).
poset.lisp (file).
generalized-lattice.lisp (file).
lattice.lisp (file).
probabilistic-lattice.lisp (file).
hyperlattice.lisp (file).
probabilistic-hyperlattice.lisp (file).
Files are sorted by type and then listed depth-first from the systems components trees.
hyperlattices/hyperlattices.asdhyperlattices/generic-interface.lisphyperlattices/hash-table-utils.lisphyperlattices/poset.lisphyperlattices/generalized-lattice.lisphyperlattices/lattice.lisphyperlattices/probabilistic-lattice.lisphyperlattices/hyperlattice.lisphyperlattices/probabilistic-hyperlattice.lisphyperlattices/hyperlattices.asdhyperlattices (system).
hyperlattices/generic-interface.lisphyperlattices (system).
antichain (generic function).
chain (generic function).
closure (generic function).
combine (generic function).
congruent-p (generic function).
cover (generic function).
dimension (generic function).
element-of (generic function).
homomorphic-p (generic function).
infimum (generic function).
infimum-of (generic function).
isomorphic-p (generic function).
join (generic function).
largest-antichain-p (generic function).
longest-chain-p (generic function).
meet (generic function).
member-p (generic function).
relation-of (generic function).
slice (generic function).
supremum (generic function).
supremum-of (generic function).
hyperlattices/hash-table-utils.lispgeneric-interface.lisp (file).
hyperlattices (system).
hash-keys (function).
intersection-hash-tables (function).
merge-hash-tables (function).
puthash (function).
hyperlattices/poset.lisphash-table-utils.lisp (file).
hyperlattices (system).
elements (reader method).
(setf elements) (writer method).
greater-than-or-equal-p (method).
greater-than-p (method).
leq (reader method).
(setf leq) (writer method).
less-than-or-equal-p (method).
less-than-p (method).
poset (class).
hyperlattices/generalized-lattice.lispposet.lisp (file).
hyperlattices (system).
antichain (method).
chain (method).
closure (method).
combine (method).
congruent-p (method).
cover (method).
dimension (method).
element-of (method).
elements (reader method).
(setf elements) (writer method).
generalized-lattice (function).
generalized-lattice (class).
homomorphic-p (method).
infimum (method).
infimum-of (method).
isomorphic-p (method).
join (method).
largest-antichain-p (method).
longest-chain-p (method).
meet (method).
member-p (method).
relation-of (method).
slice (method).
supremum (method).
supremum-of (method).
sublattices (reader method).
(setf sublattices) (writer method).
hyperlattices/lattice.lispgeneralized-lattice.lisp (file).
hyperlattices (system).
elements-of (reader method).
(setf elements-of) (writer method).
inf-of (reader method).
(setf inf-of) (writer method).
lattice (class).
lattice-add (function).
lattice-closure (function).
lattice-inf (function).
lattice-inf-set (function).
lattice-member-p (function).
lattice-remove (function).
lattice-sup (function).
lattice-sup-set (function).
sup-of (reader method).
(setf sup-of) (writer method).
hyperlattices/probabilistic-lattice.lisplattice.lisp (file).
hyperlattices (system).
lattice (reader method).
(setf lattice) (writer method).
probabilistic-lattice (class).
probabilistic-lattice-closure (generic function).
probabilistic-lattice-cover (generic function).
probabilistic-lattice-element-of (generic function).
probabilistic-lattice-infimum (generic function).
probabilistic-lattice-infimum-of (generic function).
probabilistic-lattice-join (generic function).
probabilistic-lattice-meet (generic function).
probabilistic-lattice-member-p (generic function).
probabilistic-lattice-relation-of (generic function).
probabilistic-lattice-supremum (generic function).
probabilistic-lattice-supremum-of (generic function).
probabilities (reader method).
(setf probabilities) (writer method).
hyperlattices/hyperlattice.lispprobabilistic-lattice.lisp (file).
hyperlattices (system).
elements-of (reader method).
(setf elements-of) (writer method).
hyperlattice (class).
hyperlattice-add (function).
hyperlattice-closure (function).
hyperlattice-inf (function).
hyperlattice-inf-set (function).
hyperlattice-member-p (function).
hyperlattice-remove (function).
hyperlattice-sup (function).
hyperlattice-sup-set (function).
inf-of (reader method).
(setf inf-of) (writer method).
sup-of (reader method).
(setf sup-of) (writer method).
hyperlattices/probabilistic-hyperlattice.lisphyperlattice.lisp (file).
hyperlattices (system).
elements-of (reader method).
(setf elements-of) (writer method).
inf-of (reader method).
(setf inf-of) (writer method).
prob-hyperlattice (class).
prob-hyperlattice-add (function).
prob-hyperlattice-closure (function).
prob-hyperlattice-inf (function).
prob-hyperlattice-inf-set (function).
prob-hyperlattice-member-p (function).
prob-hyperlattice-remove (function).
prob-hyperlattice-sup (function).
prob-hyperlattice-sup-set (function).
sup-of (reader method).
(setf sup-of) (writer method).
Packages are listed by definition order.
hyperlattices/asdfhyperlattices/probabilistic-hyperlatticehyperlattices/partially-ordered-sethyperlattices/latticehyperlattices/hash-table-utilshyperlattices/generic-interfacehyperlattices/hyperlatticehyperlattices/generalized-latticehyperlattices/probabilistic-latticehyperlattices/asdfhyperlattices/sys
asdf/interface.
common-lisp.
uiop/driver.
hyperlattices/probabilistic-hyperlatticeImplementation of PROBABILISTIC-HYPERLATTICE algebraic datatype’s type class and method specializations.
probabilistic-hyperlattice
prob-hyperlattice (class).
prob-hyperlattice-add (function).
prob-hyperlattice-closure (function).
prob-hyperlattice-inf (function).
prob-hyperlattice-inf-set (function).
prob-hyperlattice-member-p (function).
prob-hyperlattice-remove (function).
prob-hyperlattice-sup (function).
prob-hyperlattice-sup-set (function).
probabilistic-lattice (class).
hyperlattices/partially-ordered-setImplementation of POSET class for partially-ordered sets.
hyperlattices/poset
hl/poset
hl-poset
partially-ordered-set
poset
closer-common-lisp.
elements (generic reader).
(setf elements) (generic writer).
elements (slot).
greater-than-or-equal-p (generic function).
greater-than-p (generic function).
leq (generic reader).
(setf leq) (generic writer).
less-than-or-equal-p (generic function).
less-than-p (generic function).
poset (class).
hyperlattices/latticeImplementation of LATTICE algebraic datatype’s type class and method specializations.
lattice
closer-common-lisp.
hyperlattices/generalized-lattice.
hyperlattices/generic-interface.
hyperlattices/hash-table-utils.
elements-of (generic reader).
(setf elements-of) (generic writer).
inf-of (generic reader).
(setf inf-of) (generic writer).
lattice (generic reader).
(setf lattice) (generic writer).
lattice (class).
lattice (slot).
lattice-add (function).
lattice-closure (function).
lattice-inf (function).
lattice-inf-set (function).
lattice-member-p (function).
lattice-remove (function).
lattice-sup (function).
lattice-sup-set (function).
sup-of (generic reader).
(setf sup-of) (generic writer).
hyperlattices/hash-table-utilsUtilities for working with hash tables within algebraic datatypes.
alexandria.
closer-common-lisp.
serapeum.
hash-keys (function).
intersection-hash-tables (function).
merge-hash-tables (function).
puthash (function).
hyperlattices/generic-interfaceThis package defines the generic interface for all Generalized Lattice algebraic datatypes.
hyperlattices/api
hl/api
hl-api
closer-common-lisp.
antichain (generic function).
chain (generic function).
closure (generic function).
combine (generic function).
congruent-p (generic function).
cover (generic function).
dimension (generic function).
element-of (generic function).
homomorphic-p (generic function).
infimum (generic function).
infimum-of (generic function).
isomorphic-p (generic function).
join (generic function).
largest-antichain-p (generic function).
longest-chain-p (generic function).
meet (generic function).
member-p (generic function).
relation-of (generic function).
slice (generic function).
supremum (generic function).
supremum-of (generic function).
hyperlattices/hyperlatticeImplementation of HYPERLATTICE algebraic datatype’s type class and method specializations.
hyperlattice
closer-common-lisp.
hyperlattices/generic-interface.
hyperlattices/hash-table-utils.
hyperlattices/lattice.
hyperlattice (class).
hyperlattice-add (function).
hyperlattice-closure (function).
hyperlattice-inf (function).
hyperlattice-inf-set (function).
hyperlattice-member-p (function).
hyperlattice-remove (function).
hyperlattice-sup (function).
hyperlattice-sup-set (function).
hyperlattices/generalized-latticeImplementation of the GENERALIZED-LATTICE superclass and dispatching methods. Not really intended for direct use, but exists for when the initial subtype is unknown and model-dependent.
generalized-lattice
closer-common-lisp.
hyperlattices/generic-interface.
hyperlattices/partially-ordered-set.
generalized-lattice (function).
generalized-lattice (class).
sublattices (generic reader).
(setf sublattices) (generic writer).
hyperlattices/probabilistic-latticeImplementation of PROBABILISTIC-LATTICE algebraic datatype’s type class and method specializations.
probabilistic-lattice
closer-common-lisp.
hyperlattices/generic-interface.
hyperlattices/hash-table-utils.
hyperlattices/lattice.
probabilistic-lattice (class).
probabilistic-lattice-closure (generic function).
probabilistic-lattice-cover (generic function).
probabilistic-lattice-element-of (generic function).
probabilistic-lattice-infimum (generic function).
probabilistic-lattice-infimum-of (generic function).
probabilistic-lattice-join (generic function).
probabilistic-lattice-meet (generic function).
probabilistic-lattice-member-p (generic function).
probabilistic-lattice-relation-of (generic function).
probabilistic-lattice-supremum (generic function).
probabilistic-lattice-supremum-of (generic function).
probabilities (generic reader).
(setf probabilities) (generic writer).
Definitions are sorted by export status, category, package, and then by lexicographic order.
Constructor function for the GENERALIZED-LATTICE algebraic datatype.
generalized-lattice)) ¶generalized-lattice)) ¶generalized-lattice)) ¶generalized-lattice) &rest gls) ¶generalized-lattice) (rhs generalized-lattice)) ¶generalized-lattice)) ¶generalized-lattice)) ¶generalized-lattice) element) ¶generalized-lattice)) ¶automatically generated reader method
generalized-lattice)) ¶automatically generated writer method
prob-hyperlattice)) ¶automatically generated reader method
hyperlattice)) ¶automatically generated reader method
prob-hyperlattice)) ¶automatically generated writer method
hyperlattice)) ¶automatically generated writer method
generalized-lattice) (rhs generalized-lattice)) ¶prob-hyperlattice)) ¶automatically generated reader method
inf.
hyperlattice)) ¶automatically generated reader method
inf.
prob-hyperlattice)) ¶automatically generated writer method
inf.
hyperlattice)) ¶automatically generated writer method
inf.
generalized-lattice)) ¶generalized-lattice)) ¶generalized-lattice) (rhs generalized-lattice)) ¶generalized-lattice) &rest gls) ¶generalized-lattice) antichain) ¶probabilistic-lattice)) ¶automatically generated reader method
probabilistic-lattice)) ¶automatically generated writer method
generalized-lattice) chain) ¶generalized-lattice) &rest gls) ¶generalized-lattice)) ¶generalized-lattice) relation) ¶generalized-lattice) sublattice-index) ¶prob-hyperlattice)) ¶automatically generated reader method
sup.
hyperlattice)) ¶automatically generated reader method
sup.
prob-hyperlattice)) ¶automatically generated writer method
sup.
hyperlattice)) ¶automatically generated writer method
sup.
generalized-lattice)) ¶generalized-lattice)) ¶Implementation of the GENERALIZED-LATTICE algebraic datatype.
| Initarg | Value |
|---|---|
:elements | (make-hash-table) |
:sup | (function hyperlattice-sup) |
:inf | (function hyperlattice-inf) |
:elements
:sup
:inf
| Initarg | Value |
|---|---|
:elements | (make-hash-table) |
:sup | (function lattice-sup) |
:inf | (function lattice-inf) |
:elements
:sup
:inf
| Initarg | Value |
|---|---|
:elements | (make-hash-table test (function equal)) |
:sup | (function prob-hyperlattice-sup) |
:inf | (function prob-hyperlattice-inf) |
:elements
:sup
:inf
Returns the closure of the given set of elements in the given probabilistic lattice.
probabilistic-lattice) xs) ¶Returns the cover of the given set of elements in the given probabilistic lattice.
probabilistic-lattice) xs) ¶Returns true if the given element x is in the given probabilistic lattice.
probabilistic-lattice) x) ¶Returns the infimum of the given probabilistic lattice.
probabilistic-lattice)) ¶Returns the infimum of the given set of elements in the given probabilistic lattice.
probabilistic-lattice) xs) ¶Returns the join of the two elements a and b in the given probabilistic lattice.
probabilistic-lattice) a b) ¶Returns the meet of the two elements a and b in the given probabilistic lattice.
probabilistic-lattice) a b) ¶Returns true if the given element x is in the given probabilistic lattice.
probabilistic-lattice) x) ¶Returns the relation between the two elements a and b in the given probabilistic lattice.
probabilistic-lattice) a b) ¶Returns the supremum of the given probabilistic lattice.
probabilistic-lattice)) ¶Returns the supremum of the given set of elements in the given probabilistic lattice.
probabilistic-lattice) xs) ¶probabilistic-lattice)) ¶automatically generated reader method
probabilistic-lattice)) ¶automatically generated writer method
generalized-lattice)) ¶automatically generated reader method
generalized-lattice)) ¶automatically generated writer method
(setf lattice).
lattice.
probabilistic-lattice-closure.
probabilistic-lattice-cover.
probabilistic-lattice-element-of.
probabilistic-lattice-infimum.
probabilistic-lattice-infimum-of.
probabilistic-lattice-join.
probabilistic-lattice-meet.
probabilistic-lattice-member-p.
probabilistic-lattice-relation-of.
probabilistic-lattice-supremum.
probabilistic-lattice-supremum-of.
(setf probabilities).
probabilities.
list
:lattice
list
:probabilities
| Jump to: | (
A C D E F G H I J L M P R S |
|---|
| Jump to: | (
A C D E F G H I J L M P R S |
|---|
| Jump to: | E I L P S |
|---|
| Jump to: | E I L P S |
|---|
| Jump to: | C F G H L P S |
|---|
| Jump to: | C F G H L P S |
|---|