This is the hyperlattices Reference Manual, version 0.1.5, generated automatically by Declt version 4.0 beta 2 "William Riker" on Sun Dec 08 18:22:44 2024 GMT+0.
hyperlattices/hyperlattices.asd
hyperlattices/generic-interface.lisp
hyperlattices/hash-table-utils.lisp
hyperlattices/poset.lisp
hyperlattices/generalized-lattice.lisp
hyperlattices/lattice.lisp
hyperlattices/probabilistic-lattice.lisp
hyperlattices/hyperlattice.lisp
hyperlattices/probabilistic-hyperlattice.lisp
hyperlattices/asdf
hyperlattices/probabilistic-hyperlattice
hyperlattices/partially-ordered-set
hyperlattices/lattice
hyperlattices/hash-table-utils
hyperlattices/generic-interface
hyperlattices/hyperlattice
hyperlattices/generalized-lattice
hyperlattices/probabilistic-lattice
The main system appears first, followed by any subsystem dependency.
hyperlattices
Generalized 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.asd
hyperlattices/generic-interface.lisp
hyperlattices/hash-table-utils.lisp
hyperlattices/poset.lisp
hyperlattices/generalized-lattice.lisp
hyperlattices/lattice.lisp
hyperlattices/probabilistic-lattice.lisp
hyperlattices/hyperlattice.lisp
hyperlattices/probabilistic-hyperlattice.lisp
hyperlattices/hyperlattices.asd
hyperlattices
(system).
hyperlattices/generic-interface.lisp
hyperlattices
(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.lisp
generic-interface.lisp
(file).
hyperlattices
(system).
hash-keys
(function).
intersection-hash-tables
(function).
merge-hash-tables
(function).
puthash
(function).
hyperlattices/poset.lisp
hash-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.lisp
poset.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.lisp
generalized-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.lisp
lattice.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.lisp
probabilistic-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.lisp
hyperlattice.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/asdf
hyperlattices/probabilistic-hyperlattice
hyperlattices/partially-ordered-set
hyperlattices/lattice
hyperlattices/hash-table-utils
hyperlattices/generic-interface
hyperlattices/hyperlattice
hyperlattices/generalized-lattice
hyperlattices/probabilistic-lattice
hyperlattices/asdf
hyperlattices/sys
asdf/interface
.
common-lisp
.
uiop/driver
.
hyperlattices/probabilistic-hyperlattice
Implementation 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-set
Implementation 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/lattice
Implementation 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-utils
Utilities 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-interface
This 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/hyperlattice
Implementation 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-lattice
Implementation 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-lattice
Implementation 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 |
---|