The hyperlattices Reference Manual

This is the hyperlattices Reference Manual, version 0.1.5, generated automatically by Declt version 4.0 beta 2 "William Riker" on Wed May 15 05:34:22 2024 GMT+0.

Table of Contents


1 Introduction


2 Systems

The main system appears first, followed by any subsystem dependency.


2.1 hyperlattices

Generalized Lattice algebraic datatypes, incl., LATTICE, HYPERLATTICE, PROBABILISTIC-LATTICE, and PROBABILISTIC-HYPERLATTICE.

Author

"the Phoeron" Colin J.E. Lupton

Contact

Home Page

https://thephoeron.github.io/hyperlattices/

Source Control

(GIT https://github.com/thephoeron/hyperlattices.git)

Bug Tracker

https://github.com/thephoeron/hyperlattices/issues

License

MIT

Version

0.1.5

Dependencies
  • alexandria (system).
  • serapeum (system).
  • closer-mop (system).
  • trivial-types (system).
Source

hyperlattices.asd.

Child Components

3 Files

Files are sorted by type and then listed depth-first from the systems components trees.


3.1 Lisp


3.1.1 hyperlattices/hyperlattices.asd

Source

hyperlattices.asd.

Parent Component

hyperlattices (system).

ASDF Systems

hyperlattices.

Packages

hyperlattices/asdf.


3.1.2 hyperlattices/generic-interface.lisp

Source

hyperlattices.asd.

Parent Component

hyperlattices (system).

Packages

hyperlattices/generic-interface.

Public Interface

3.1.3 hyperlattices/hash-table-utils.lisp

Dependency

generic-interface.lisp (file).

Source

hyperlattices.asd.

Parent Component

hyperlattices (system).

Packages

hyperlattices/hash-table-utils.

Public Interface

3.1.4 hyperlattices/poset.lisp

Dependency

hash-table-utils.lisp (file).

Source

hyperlattices.asd.

Parent Component

hyperlattices (system).

Packages

hyperlattices/partially-ordered-set.

Public Interface

3.1.5 hyperlattices/generalized-lattice.lisp

Dependency

poset.lisp (file).

Source

hyperlattices.asd.

Parent Component

hyperlattices (system).

Packages

hyperlattices/generalized-lattice.

Public Interface
Internals

3.1.6 hyperlattices/lattice.lisp

Dependency

generalized-lattice.lisp (file).

Source

hyperlattices.asd.

Parent Component

hyperlattices (system).

Packages

hyperlattices/lattice.

Public Interface

3.1.7 hyperlattices/probabilistic-lattice.lisp

Dependency

lattice.lisp (file).

Source

hyperlattices.asd.

Parent Component

hyperlattices (system).

Packages

hyperlattices/probabilistic-lattice.

Public Interface
Internals

3.1.8 hyperlattices/hyperlattice.lisp

Dependency

probabilistic-lattice.lisp (file).

Source

hyperlattices.asd.

Parent Component

hyperlattices (system).

Packages

hyperlattices/hyperlattice.

Public Interface

3.1.9 hyperlattices/probabilistic-hyperlattice.lisp

Dependency

hyperlattice.lisp (file).

Source

hyperlattices.asd.

Parent Component

hyperlattices (system).

Packages

hyperlattices/probabilistic-hyperlattice.

Public Interface

4 Packages

Packages are listed by definition order.


4.1 hyperlattices/asdf

Source

hyperlattices.asd.

Nickname

hyperlattices/sys

Use List
  • asdf/interface.
  • common-lisp.
  • uiop/driver.

4.2 hyperlattices/probabilistic-hyperlattice

Implementation of PROBABILISTIC-HYPERLATTICE algebraic datatype’s type class and method specializations.

Source

probabilistic-hyperlattice.lisp.

Nickname

probabilistic-hyperlattice

Use List
Public Interface
Internals

probabilistic-lattice (class).


4.3 hyperlattices/partially-ordered-set

Implementation of POSET class for partially-ordered sets.

Source

poset.lisp.

Nicknames
  • hyperlattices/poset
  • hl/poset
  • hl-poset
  • partially-ordered-set
  • poset
Use List

closer-common-lisp.

Used By List

hyperlattices/generalized-lattice.

Public Interface

4.4 hyperlattices/lattice

Implementation of LATTICE algebraic datatype’s type class and method specializations.

Source

lattice.lisp.

Nickname

lattice

Use List
Used By List
Public Interface

4.5 hyperlattices/hash-table-utils

Utilities for working with hash tables within algebraic datatypes.

Source

hash-table-utils.lisp.

Use List
  • alexandria.
  • closer-common-lisp.
  • serapeum.
Used By List
Public Interface

4.6 hyperlattices/generic-interface

This package defines the generic interface for all Generalized Lattice algebraic datatypes.

Source

generic-interface.lisp.

Nicknames
  • hyperlattices/api
  • hl/api
  • hl-api
Use List

closer-common-lisp.

Used By List
Public Interface

4.7 hyperlattices/hyperlattice

Implementation of HYPERLATTICE algebraic datatype’s type class and method specializations.

Source

hyperlattice.lisp.

Nickname

hyperlattice

Use List
Used By List

hyperlattices/probabilistic-hyperlattice.

Public Interface

4.8 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.

Source

generalized-lattice.lisp.

Nickname

generalized-lattice

Use List
Used By List

hyperlattices/lattice.

Public Interface
Internals

4.9 hyperlattices/probabilistic-lattice

Implementation of PROBABILISTIC-LATTICE algebraic datatype’s type class and method specializations.

Source

probabilistic-lattice.lisp.

Nickname

probabilistic-lattice

Use List
Used By List

hyperlattices/probabilistic-hyperlattice.

Internals

5 Definitions

Definitions are sorted by export status, category, package, and then by lexicographic order.


5.1 Public Interface


5.1.1 Ordinary functions

Function: generalized-lattice (&key elements sublattices)

Constructor function for the GENERALIZED-LATTICE algebraic datatype.

Package

hyperlattices/generalized-lattice.

Source

generalized-lattice.lisp.

Function: hash-keys (table)
Package

hyperlattices/hash-table-utils.

Source

hash-table-utils.lisp.

Function: hyperlattice-add (hyperlattice lattice)
Package

hyperlattices/hyperlattice.

Source

hyperlattice.lisp.

Function: hyperlattice-closure (hyperlattice set)
Package

hyperlattices/hyperlattice.

Source

hyperlattice.lisp.

Function: hyperlattice-inf (a b)
Package

hyperlattices/hyperlattice.

Source

hyperlattice.lisp.

Function: hyperlattice-inf-set (hyperlattice set)
Package

hyperlattices/hyperlattice.

Source

hyperlattice.lisp.

Function: hyperlattice-member-p (hyperlattice lattice)
Package

hyperlattices/hyperlattice.

Source

hyperlattice.lisp.

Function: hyperlattice-remove (hyperlattice lattice)
Package

hyperlattices/hyperlattice.

Source

hyperlattice.lisp.

Function: hyperlattice-sup (a b)
Package

hyperlattices/hyperlattice.

Source

hyperlattice.lisp.

Function: hyperlattice-sup-set (hyperlattice set)
Package

hyperlattices/hyperlattice.

Source

hyperlattice.lisp.

Function: intersection-hash-tables (table1 table2)
Package

hyperlattices/hash-table-utils.

Source

hash-table-utils.lisp.

Function: lattice-add (lattice element)
Package

hyperlattices/lattice.

Source

lattice.lisp.

Function: lattice-closure (lattice set)
Package

hyperlattices/lattice.

Source

lattice.lisp.

Function: lattice-inf (a b)
Package

hyperlattices/lattice.

Source

lattice.lisp.

Function: lattice-inf-set (lattice set)
Package

hyperlattices/lattice.

Source

lattice.lisp.

Function: lattice-member-p (lattice element)
Package

hyperlattices/lattice.

Source

lattice.lisp.

Function: lattice-remove (lattice element)
Package

hyperlattices/lattice.

Source

lattice.lisp.

Function: lattice-sup (a b)
Package

hyperlattices/lattice.

Source

lattice.lisp.

Function: lattice-sup-set (lattice set)
Package

hyperlattices/lattice.

Source

lattice.lisp.

Function: merge-hash-tables (table1 table2)
Package

hyperlattices/hash-table-utils.

Source

hash-table-utils.lisp.

Function: prob-hyperlattice-add (prob-hyperlattice element probability)
Package

hyperlattices/probabilistic-hyperlattice.

Source

probabilistic-hyperlattice.lisp.

Function: prob-hyperlattice-closure (prob-hyperlattice set)
Package

hyperlattices/probabilistic-hyperlattice.

Source

probabilistic-hyperlattice.lisp.

Function: prob-hyperlattice-inf (a b)
Package

hyperlattices/probabilistic-hyperlattice.

Source

probabilistic-hyperlattice.lisp.

Function: prob-hyperlattice-inf-set (prob-hyperlattice set)
Package

hyperlattices/probabilistic-hyperlattice.

Source

probabilistic-hyperlattice.lisp.

Function: prob-hyperlattice-member-p (prob-hyperlattice element)
Package

hyperlattices/probabilistic-hyperlattice.

Source

probabilistic-hyperlattice.lisp.

Function: prob-hyperlattice-remove (prob-hyperlattice element)
Package

hyperlattices/probabilistic-hyperlattice.

Source

probabilistic-hyperlattice.lisp.

Function: prob-hyperlattice-sup (a b)
Package

hyperlattices/probabilistic-hyperlattice.

Source

probabilistic-hyperlattice.lisp.

Function: prob-hyperlattice-sup-set (prob-hyperlattice set)
Package

hyperlattices/probabilistic-hyperlattice.

Source

probabilistic-hyperlattice.lisp.

Function: puthash (key value table)
Package

hyperlattices/hash-table-utils.

Source

hash-table-utils.lisp.


5.1.2 Generic functions

Generic Function: antichain (generalized-lattice)
Package

hyperlattices/generic-interface.

Source

generic-interface.lisp.

Methods
Method: antichain ((gl-alpha generalized-lattice))
Source

generalized-lattice.lisp.

Generic Function: chain (generalized-lattice)
Package

hyperlattices/generic-interface.

Source

generic-interface.lisp.

Methods
Method: chain ((gl-alpha generalized-lattice))
Source

generalized-lattice.lisp.

Generic Function: closure (generalized-lattice)
Package

hyperlattices/generic-interface.

Source

generic-interface.lisp.

Methods
Method: closure ((gl-alpha generalized-lattice))
Source

generalized-lattice.lisp.

Generic Function: combine (generalized-lattice &rest generalized-lattices)
Package

hyperlattices/generic-interface.

Source

generic-interface.lisp.

Methods
Method: combine ((gl generalized-lattice) &rest gls)
Source

generalized-lattice.lisp.

Generic Function: congruent-p (lhs rhs)
Package

hyperlattices/generic-interface.

Source

generic-interface.lisp.

Methods
Method: congruent-p ((lhs generalized-lattice) (rhs generalized-lattice))
Source

generalized-lattice.lisp.

Generic Function: cover (generalized-lattice)
Package

hyperlattices/generic-interface.

Source

generic-interface.lisp.

Methods
Method: cover ((gl-alpha generalized-lattice))
Source

generalized-lattice.lisp.

Generic Function: dimension (generalized-lattice)
Package

hyperlattices/generic-interface.

Source

generic-interface.lisp.

Methods
Method: dimension ((gl-alpha generalized-lattice))
Source

generalized-lattice.lisp.

Generic Function: element-of (generalized-lattice element)
Package

hyperlattices/generic-interface.

Source

generic-interface.lisp.

Methods
Method: element-of ((gl-alpha generalized-lattice) element)
Source

generalized-lattice.lisp.

Generic Reader: elements (object)
Package

hyperlattices/partially-ordered-set.

Methods
Reader Method: elements ((generalized-lattice generalized-lattice))

automatically generated reader method

Source

generalized-lattice.lisp.

Target Slot

elements.

Reader Method: elements ((poset poset))

automatically generated reader method

Source

poset.lisp.

Target Slot

elements.

Generic Writer: (setf elements) (object)
Package

hyperlattices/partially-ordered-set.

Methods
Writer Method: (setf elements) ((generalized-lattice generalized-lattice))

automatically generated writer method

Source

generalized-lattice.lisp.

Target Slot

elements.

Writer Method: (setf elements) ((poset poset))

automatically generated writer method

Source

poset.lisp.

Target Slot

elements.

Generic Reader: elements-of (object)
Package

hyperlattices/lattice.

Methods
Reader Method: elements-of ((prob-hyperlattice prob-hyperlattice))

automatically generated reader method

Source

probabilistic-hyperlattice.lisp.

Target Slot

elements.

Reader Method: elements-of ((hyperlattice hyperlattice))

automatically generated reader method

Source

hyperlattice.lisp.

Target Slot

elements.

Reader Method: elements-of ((lattice lattice))

automatically generated reader method

Source

lattice.lisp.

Target Slot

elements.

Generic Writer: (setf elements-of) (object)
Package

hyperlattices/lattice.

Methods
Writer Method: (setf elements-of) ((prob-hyperlattice prob-hyperlattice))

automatically generated writer method

Source

probabilistic-hyperlattice.lisp.

Target Slot

elements.

Writer Method: (setf elements-of) ((hyperlattice hyperlattice))

automatically generated writer method

Source

hyperlattice.lisp.

Target Slot

elements.

Writer Method: (setf elements-of) ((lattice lattice))

automatically generated writer method

Source

lattice.lisp.

Target Slot

elements.

Generic Function: greater-than-or-equal-p (lhs rhs x y)
Package

hyperlattices/partially-ordered-set.

Methods
Method: greater-than-or-equal-p ((lhs poset) (rhs poset) x y)
Source

poset.lisp.

Generic Function: greater-than-p (lhs rhs x y)
Package

hyperlattices/partially-ordered-set.

Methods
Method: greater-than-p ((lhs poset) (rhs poset) x y)
Source

poset.lisp.

Generic Function: homomorphic-p (lhs rhs)
Package

hyperlattices/generic-interface.

Source

generic-interface.lisp.

Methods
Method: homomorphic-p ((lhs generalized-lattice) (rhs generalized-lattice))
Source

generalized-lattice.lisp.

Generic Reader: inf-of (object)
Package

hyperlattices/lattice.

Methods
Reader Method: inf-of ((prob-hyperlattice prob-hyperlattice))

automatically generated reader method

Source

probabilistic-hyperlattice.lisp.

Target Slot

inf.

Reader Method: inf-of ((hyperlattice hyperlattice))

automatically generated reader method

Source

hyperlattice.lisp.

Target Slot

inf.

Reader Method: inf-of ((lattice lattice))

automatically generated reader method

Source

lattice.lisp.

Target Slot

inf.

Generic Writer: (setf inf-of) (object)
Package

hyperlattices/lattice.

Methods
Writer Method: (setf inf-of) ((prob-hyperlattice prob-hyperlattice))

automatically generated writer method

Source

probabilistic-hyperlattice.lisp.

Target Slot

inf.

Writer Method: (setf inf-of) ((hyperlattice hyperlattice))

automatically generated writer method

Source

hyperlattice.lisp.

Target Slot

inf.

Writer Method: (setf inf-of) ((lattice lattice))

automatically generated writer method

Source

lattice.lisp.

Target Slot

inf.

Generic Function: infimum (poset)
Package

hyperlattices/generic-interface.

Source

generic-interface.lisp.

Methods
Method: infimum ((gl-alpha generalized-lattice))
Source

generalized-lattice.lisp.

Generic Function: infimum-of (generalized-lattice)
Package

hyperlattices/generic-interface.

Source

generic-interface.lisp.

Methods
Method: infimum-of ((gl-alpha generalized-lattice))
Source

generalized-lattice.lisp.

Generic Function: isomorphic-p (lhs rhs)
Package

hyperlattices/generic-interface.

Source

generic-interface.lisp.

Methods
Method: isomorphic-p ((lhs generalized-lattice) (rhs generalized-lattice))
Source

generalized-lattice.lisp.

Generic Function: join (generalized-lattice &rest generalized-lattices)
Package

hyperlattices/generic-interface.

Source

generic-interface.lisp.

Methods
Method: join ((gl generalized-lattice) &rest gls)
Source

generalized-lattice.lisp.

Generic Function: largest-antichain-p (generalized-lattice chain)
Package

hyperlattices/generic-interface.

Source

generic-interface.lisp.

Methods
Method: largest-antichain-p ((gl generalized-lattice) antichain)
Source

generalized-lattice.lisp.

Generic Reader: lattice (object)
Package

hyperlattices/lattice.

Methods
Reader Method: lattice ((probabilistic-lattice probabilistic-lattice))

automatically generated reader method

Source

probabilistic-lattice.lisp.

Target Slot

lattice.

Generic Writer: (setf lattice) (object)
Package

hyperlattices/lattice.

Methods
Writer Method: (setf lattice) ((probabilistic-lattice probabilistic-lattice))

automatically generated writer method

Source

probabilistic-lattice.lisp.

Target Slot

lattice.

Generic Reader: leq (object)
Package

hyperlattices/partially-ordered-set.

Methods
Reader Method: leq ((poset poset))

automatically generated reader method

Source

poset.lisp.

Target Slot

leq.

Generic Writer: (setf leq) (object)
Package

hyperlattices/partially-ordered-set.

Methods
Writer Method: (setf leq) ((poset poset))

automatically generated writer method

Source

poset.lisp.

Target Slot

leq.

Generic Function: less-than-or-equal-p (lhs rhs x y)
Package

hyperlattices/partially-ordered-set.

Methods
Method: less-than-or-equal-p ((lhs poset) (rhs poset) x y)
Source

poset.lisp.

Generic Function: less-than-p (lhs rhs x y)
Package

hyperlattices/partially-ordered-set.

Methods
Method: less-than-p ((lhs poset) (rhs poset) x y)
Source

poset.lisp.

Generic Function: longest-chain-p (generalized-lattice chain)
Package

hyperlattices/generic-interface.

Source

generic-interface.lisp.

Methods
Method: longest-chain-p ((gl generalized-lattice) chain)
Source

generalized-lattice.lisp.

Generic Function: meet (generalized-lattice &rest generalized-lattices)
Package

hyperlattices/generic-interface.

Source

generic-interface.lisp.

Methods
Method: meet ((gl generalized-lattice) &rest gls)
Source

generalized-lattice.lisp.

Generic Function: member-p (generalized-lattice)
Package

hyperlattices/generic-interface.

Source

generic-interface.lisp.

Methods
Method: member-p ((gl-alpha generalized-lattice))
Source

generalized-lattice.lisp.

Generic Function: relation-of (generalized-lattice relation)
Package

hyperlattices/generic-interface.

Source

generic-interface.lisp.

Methods
Method: relation-of ((gl-alpha generalized-lattice) relation)
Source

generalized-lattice.lisp.

Generic Function: slice (generalized-lattice sublattice)
Package

hyperlattices/generic-interface.

Source

generic-interface.lisp.

Methods
Method: slice ((gl-alpha generalized-lattice) sublattice-index)
Source

generalized-lattice.lisp.

Generic Reader: sup-of (object)
Package

hyperlattices/lattice.

Methods
Reader Method: sup-of ((prob-hyperlattice prob-hyperlattice))

automatically generated reader method

Source

probabilistic-hyperlattice.lisp.

Target Slot

sup.

Reader Method: sup-of ((hyperlattice hyperlattice))

automatically generated reader method

Source

hyperlattice.lisp.

Target Slot

sup.

Reader Method: sup-of ((lattice lattice))

automatically generated reader method

Source

lattice.lisp.

Target Slot

sup.

Generic Writer: (setf sup-of) (object)
Package

hyperlattices/lattice.

Methods
Writer Method: (setf sup-of) ((prob-hyperlattice prob-hyperlattice))

automatically generated writer method

Source

probabilistic-hyperlattice.lisp.

Target Slot

sup.

Writer Method: (setf sup-of) ((hyperlattice hyperlattice))

automatically generated writer method

Source

hyperlattice.lisp.

Target Slot

sup.

Writer Method: (setf sup-of) ((lattice lattice))

automatically generated writer method

Source

lattice.lisp.

Target Slot

sup.

Generic Function: supremum (poset)
Package

hyperlattices/generic-interface.

Source

generic-interface.lisp.

Methods
Method: supremum ((gl-alpha generalized-lattice))
Source

generalized-lattice.lisp.

Generic Function: supremum-of (generalized-lattice)
Package

hyperlattices/generic-interface.

Source

generic-interface.lisp.

Methods
Method: supremum-of ((gl-alpha generalized-lattice))
Source

generalized-lattice.lisp.


5.1.3 Classes

Class: generalized-lattice

Implementation of the GENERALIZED-LATTICE algebraic datatype.

Package

hyperlattices/generalized-lattice.

Source

generalized-lattice.lisp.

Direct superclasses

poset.

Direct subclasses

lattice.

Direct methods
Direct slots
Slot: elements
Package

hyperlattices/partially-ordered-set.

Initargs

:elements

Readers

elements.

Writers

(setf elements).

Slot: sublattices
Initargs

:sublattices

Readers

sublattices.

Writers

(setf sublattices).

Class: hyperlattice
Package

hyperlattices/hyperlattice.

Source

hyperlattice.lisp.

Direct superclasses

lattice.

Direct subclasses

prob-hyperlattice.

Direct methods
Direct Default Initargs
InitargValue
:elements(make-hash-table)
:sup(function hyperlattice-sup)
:inf(function hyperlattice-inf)
Direct slots
Slot: elements
Initargs

:elements

Readers

elements-of.

Writers

(setf elements-of).

Slot: sup
Initargs

:sup

Readers

sup-of.

Writers

(setf sup-of).

Slot: inf
Initargs

:inf

Readers

inf-of.

Writers

(setf inf-of).

Class: lattice
Package

hyperlattices/lattice.

Source

lattice.lisp.

Direct superclasses

generalized-lattice.

Direct subclasses
Direct methods
Direct Default Initargs
InitargValue
:elements(make-hash-table)
:sup(function lattice-sup)
:inf(function lattice-inf)
Direct slots
Slot: elements
Initargs

:elements

Readers

elements-of.

Writers

(setf elements-of).

Slot: sup
Initargs

:sup

Readers

sup-of.

Writers

(setf sup-of).

Slot: inf
Initargs

:inf

Readers

inf-of.

Writers

(setf inf-of).

Class: poset
Package

hyperlattices/partially-ordered-set.

Source

poset.lisp.

Direct subclasses

generalized-lattice.

Direct methods
Direct slots
Slot: elements
Type

list

Initargs

:elements

Readers

elements.

Writers

(setf elements).

Slot: leq
Type

function

Initargs

:leq

Readers

leq.

Writers

(setf leq).

Class: prob-hyperlattice
Package

hyperlattices/probabilistic-hyperlattice.

Source

probabilistic-hyperlattice.lisp.

Direct superclasses
Direct methods
Direct Default Initargs
InitargValue
:elements(make-hash-table test (function equal))
:sup(function prob-hyperlattice-sup)
:inf(function prob-hyperlattice-inf)
Direct slots
Slot: elements
Initargs

:elements

Readers

elements-of.

Writers

(setf elements-of).

Slot: sup
Initargs

:sup

Readers

sup-of.

Writers

(setf sup-of).

Slot: inf
Initargs

:inf

Readers

inf-of.

Writers

(setf inf-of).


5.2 Internals


5.2.1 Generic functions

Generic Function: probabilistic-lattice-closure (plattice xs)

Returns the closure of the given set of elements in the given probabilistic lattice.

Package

hyperlattices/probabilistic-lattice.

Source

probabilistic-lattice.lisp.

Methods
Method: probabilistic-lattice-closure ((plattice probabilistic-lattice) xs)
Generic Function: probabilistic-lattice-cover (plattice xs)

Returns the cover of the given set of elements in the given probabilistic lattice.

Package

hyperlattices/probabilistic-lattice.

Source

probabilistic-lattice.lisp.

Methods
Method: probabilistic-lattice-cover ((plattice probabilistic-lattice) xs)
Generic Function: probabilistic-lattice-element-of (plattice x)

Returns true if the given element x is in the given probabilistic lattice.

Package

hyperlattices/probabilistic-lattice.

Source

probabilistic-lattice.lisp.

Methods
Method: probabilistic-lattice-element-of ((plattice probabilistic-lattice) x)
Generic Function: probabilistic-lattice-infimum (plattice)

Returns the infimum of the given probabilistic lattice.

Package

hyperlattices/probabilistic-lattice.

Source

probabilistic-lattice.lisp.

Methods
Method: probabilistic-lattice-infimum ((plattice probabilistic-lattice))
Generic Function: probabilistic-lattice-infimum-of (plattice xs)

Returns the infimum of the given set of elements in the given probabilistic lattice.

Package

hyperlattices/probabilistic-lattice.

Source

probabilistic-lattice.lisp.

Methods
Method: probabilistic-lattice-infimum-of ((plattice probabilistic-lattice) xs)
Generic Function: probabilistic-lattice-join (plattice a b)

Returns the join of the two elements a and b in the given probabilistic lattice.

Package

hyperlattices/probabilistic-lattice.

Source

probabilistic-lattice.lisp.

Methods
Method: probabilistic-lattice-join ((plattice probabilistic-lattice) a b)
Generic Function: probabilistic-lattice-meet (plattice a b)

Returns the meet of the two elements a and b in the given probabilistic lattice.

Package

hyperlattices/probabilistic-lattice.

Source

probabilistic-lattice.lisp.

Methods
Method: probabilistic-lattice-meet ((plattice probabilistic-lattice) a b)
Generic Function: probabilistic-lattice-member-p (plattice x)

Returns true if the given element x is in the given probabilistic lattice.

Package

hyperlattices/probabilistic-lattice.

Source

probabilistic-lattice.lisp.

Methods
Method: probabilistic-lattice-member-p ((plattice probabilistic-lattice) x)
Generic Function: probabilistic-lattice-relation-of (plattice a b)

Returns the relation between the two elements a and b in the given probabilistic lattice.

Package

hyperlattices/probabilistic-lattice.

Source

probabilistic-lattice.lisp.

Methods
Method: probabilistic-lattice-relation-of ((plattice probabilistic-lattice) a b)
Generic Function: probabilistic-lattice-supremum (plattice)

Returns the supremum of the given probabilistic lattice.

Package

hyperlattices/probabilistic-lattice.

Source

probabilistic-lattice.lisp.

Methods
Method: probabilistic-lattice-supremum ((plattice probabilistic-lattice))
Generic Function: probabilistic-lattice-supremum-of (plattice xs)

Returns the supremum of the given set of elements in the given probabilistic lattice.

Package

hyperlattices/probabilistic-lattice.

Source

probabilistic-lattice.lisp.

Methods
Method: probabilistic-lattice-supremum-of ((plattice probabilistic-lattice) xs)
Generic Reader: probabilities (object)
Package

hyperlattices/probabilistic-lattice.

Methods
Reader Method: probabilities ((probabilistic-lattice probabilistic-lattice))

automatically generated reader method

Source

probabilistic-lattice.lisp.

Target Slot

probabilities.

Generic Writer: (setf probabilities) (object)
Package

hyperlattices/probabilistic-lattice.

Methods
Writer Method: (setf probabilities) ((probabilistic-lattice probabilistic-lattice))

automatically generated writer method

Source

probabilistic-lattice.lisp.

Target Slot

probabilities.

Generic Reader: sublattices (object)
Package

hyperlattices/generalized-lattice.

Methods
Reader Method: sublattices ((generalized-lattice generalized-lattice))

automatically generated reader method

Source

generalized-lattice.lisp.

Target Slot

sublattices.

Generic Writer: (setf sublattices) (object)
Package

hyperlattices/generalized-lattice.

Methods
Writer Method: (setf sublattices) ((generalized-lattice generalized-lattice))

automatically generated writer method

Source

generalized-lattice.lisp.

Target Slot

sublattices.


Appendix A Indexes


A.1 Concepts


A.2 Functions

Jump to:   (  
A   C   D   E   F   G   H   I   J   L   M   P   R   S  
Index Entry  Section

(
(setf elements): Public generic functions
(setf elements): Public generic functions
(setf elements): Public generic functions
(setf elements-of): Public generic functions
(setf elements-of): Public generic functions
(setf elements-of): Public generic functions
(setf elements-of): Public generic functions
(setf inf-of): Public generic functions
(setf inf-of): Public generic functions
(setf inf-of): Public generic functions
(setf inf-of): Public generic functions
(setf lattice): Public generic functions
(setf lattice): Public generic functions
(setf leq): Public generic functions
(setf leq): Public generic functions
(setf probabilities): Private generic functions
(setf probabilities): Private generic functions
(setf sublattices): Private generic functions
(setf sublattices): Private generic functions
(setf sup-of): Public generic functions
(setf sup-of): Public generic functions
(setf sup-of): Public generic functions
(setf sup-of): Public generic functions

A
antichain: Public generic functions
antichain: Public generic functions

C
chain: Public generic functions
chain: Public generic functions
closure: Public generic functions
closure: Public generic functions
combine: Public generic functions
combine: Public generic functions
congruent-p: Public generic functions
congruent-p: Public generic functions
cover: Public generic functions
cover: Public generic functions

D
dimension: Public generic functions
dimension: Public generic functions

E
element-of: Public generic functions
element-of: Public generic functions
elements: Public generic functions
elements: Public generic functions
elements: Public generic functions
elements-of: Public generic functions
elements-of: Public generic functions
elements-of: Public generic functions
elements-of: Public generic functions

F
Function, generalized-lattice: Public ordinary functions
Function, hash-keys: Public ordinary functions
Function, hyperlattice-add: Public ordinary functions
Function, hyperlattice-closure: Public ordinary functions
Function, hyperlattice-inf: Public ordinary functions
Function, hyperlattice-inf-set: Public ordinary functions
Function, hyperlattice-member-p: Public ordinary functions
Function, hyperlattice-remove: Public ordinary functions
Function, hyperlattice-sup: Public ordinary functions
Function, hyperlattice-sup-set: Public ordinary functions
Function, intersection-hash-tables: Public ordinary functions
Function, lattice-add: Public ordinary functions
Function, lattice-closure: Public ordinary functions
Function, lattice-inf: Public ordinary functions
Function, lattice-inf-set: Public ordinary functions
Function, lattice-member-p: Public ordinary functions
Function, lattice-remove: Public ordinary functions
Function, lattice-sup: Public ordinary functions
Function, lattice-sup-set: Public ordinary functions
Function, merge-hash-tables: Public ordinary functions
Function, prob-hyperlattice-add: Public ordinary functions
Function, prob-hyperlattice-closure: Public ordinary functions
Function, prob-hyperlattice-inf: Public ordinary functions
Function, prob-hyperlattice-inf-set: Public ordinary functions
Function, prob-hyperlattice-member-p: Public ordinary functions
Function, prob-hyperlattice-remove: Public ordinary functions
Function, prob-hyperlattice-sup: Public ordinary functions
Function, prob-hyperlattice-sup-set: Public ordinary functions
Function, puthash: Public ordinary functions

G
generalized-lattice: Public ordinary functions
Generic Function, (setf elements): Public generic functions
Generic Function, (setf elements-of): Public generic functions
Generic Function, (setf inf-of): Public generic functions
Generic Function, (setf lattice): Public generic functions
Generic Function, (setf leq): Public generic functions
Generic Function, (setf probabilities): Private generic functions
Generic Function, (setf sublattices): Private generic functions
Generic Function, (setf sup-of): Public generic functions
Generic Function, antichain: Public generic functions
Generic Function, chain: Public generic functions
Generic Function, closure: Public generic functions
Generic Function, combine: Public generic functions
Generic Function, congruent-p: Public generic functions
Generic Function, cover: Public generic functions
Generic Function, dimension: Public generic functions
Generic Function, element-of: Public generic functions
Generic Function, elements: Public generic functions
Generic Function, elements-of: Public generic functions
Generic Function, greater-than-or-equal-p: Public generic functions
Generic Function, greater-than-p: Public generic functions
Generic Function, homomorphic-p: Public generic functions
Generic Function, inf-of: Public generic functions
Generic Function, infimum: Public generic functions
Generic Function, infimum-of: Public generic functions
Generic Function, isomorphic-p: Public generic functions
Generic Function, join: Public generic functions
Generic Function, largest-antichain-p: Public generic functions
Generic Function, lattice: Public generic functions
Generic Function, leq: Public generic functions
Generic Function, less-than-or-equal-p: Public generic functions
Generic Function, less-than-p: Public generic functions
Generic Function, longest-chain-p: Public generic functions
Generic Function, meet: Public generic functions
Generic Function, member-p: Public generic functions
Generic Function, probabilistic-lattice-closure: Private generic functions
Generic Function, probabilistic-lattice-cover: Private generic functions
Generic Function, probabilistic-lattice-element-of: Private generic functions
Generic Function, probabilistic-lattice-infimum: Private generic functions
Generic Function, probabilistic-lattice-infimum-of: Private generic functions
Generic Function, probabilistic-lattice-join: Private generic functions
Generic Function, probabilistic-lattice-meet: Private generic functions
Generic Function, probabilistic-lattice-member-p: Private generic functions
Generic Function, probabilistic-lattice-relation-of: Private generic functions
Generic Function, probabilistic-lattice-supremum: Private generic functions
Generic Function, probabilistic-lattice-supremum-of: Private generic functions
Generic Function, probabilities: Private generic functions
Generic Function, relation-of: Public generic functions
Generic Function, slice: Public generic functions
Generic Function, sublattices: Private generic functions
Generic Function, sup-of: Public generic functions
Generic Function, supremum: Public generic functions
Generic Function, supremum-of: Public generic functions
greater-than-or-equal-p: Public generic functions
greater-than-or-equal-p: Public generic functions
greater-than-p: Public generic functions
greater-than-p: Public generic functions

H
hash-keys: Public ordinary functions
homomorphic-p: Public generic functions
homomorphic-p: Public generic functions
hyperlattice-add: Public ordinary functions
hyperlattice-closure: Public ordinary functions
hyperlattice-inf: Public ordinary functions
hyperlattice-inf-set: Public ordinary functions
hyperlattice-member-p: Public ordinary functions
hyperlattice-remove: Public ordinary functions
hyperlattice-sup: Public ordinary functions
hyperlattice-sup-set: Public ordinary functions

I
inf-of: Public generic functions
inf-of: Public generic functions
inf-of: Public generic functions
inf-of: Public generic functions
infimum: Public generic functions
infimum: Public generic functions
infimum-of: Public generic functions
infimum-of: Public generic functions
intersection-hash-tables: Public ordinary functions
isomorphic-p: Public generic functions
isomorphic-p: Public generic functions

J
join: Public generic functions
join: Public generic functions

L
largest-antichain-p: Public generic functions
largest-antichain-p: Public generic functions
lattice: Public generic functions
lattice: Public generic functions
lattice-add: Public ordinary functions
lattice-closure: Public ordinary functions
lattice-inf: Public ordinary functions
lattice-inf-set: Public ordinary functions
lattice-member-p: Public ordinary functions
lattice-remove: Public ordinary functions
lattice-sup: Public ordinary functions
lattice-sup-set: Public ordinary functions
leq: Public generic functions
leq: Public generic functions
less-than-or-equal-p: Public generic functions
less-than-or-equal-p: Public generic functions
less-than-p: Public generic functions
less-than-p: Public generic functions
longest-chain-p: Public generic functions
longest-chain-p: Public generic functions

M
meet: Public generic functions
meet: Public generic functions
member-p: Public generic functions
member-p: Public generic functions
merge-hash-tables: Public ordinary functions
Method, (setf elements): Public generic functions
Method, (setf elements): Public generic functions
Method, (setf elements-of): Public generic functions
Method, (setf elements-of): Public generic functions
Method, (setf elements-of): Public generic functions
Method, (setf inf-of): Public generic functions
Method, (setf inf-of): Public generic functions
Method, (setf inf-of): Public generic functions
Method, (setf lattice): Public generic functions
Method, (setf leq): Public generic functions
Method, (setf probabilities): Private generic functions
Method, (setf sublattices): Private generic functions
Method, (setf sup-of): Public generic functions
Method, (setf sup-of): Public generic functions
Method, (setf sup-of): Public generic functions
Method, antichain: Public generic functions
Method, chain: Public generic functions
Method, closure: Public generic functions
Method, combine: Public generic functions
Method, congruent-p: Public generic functions
Method, cover: Public generic functions
Method, dimension: Public generic functions
Method, element-of: Public generic functions
Method, elements: Public generic functions
Method, elements: Public generic functions
Method, elements-of: Public generic functions
Method, elements-of: Public generic functions
Method, elements-of: Public generic functions
Method, greater-than-or-equal-p: Public generic functions
Method, greater-than-p: Public generic functions
Method, homomorphic-p: Public generic functions
Method, inf-of: Public generic functions
Method, inf-of: Public generic functions
Method, inf-of: Public generic functions
Method, infimum: Public generic functions
Method, infimum-of: Public generic functions
Method, isomorphic-p: Public generic functions
Method, join: Public generic functions
Method, largest-antichain-p: Public generic functions
Method, lattice: Public generic functions
Method, leq: Public generic functions
Method, less-than-or-equal-p: Public generic functions
Method, less-than-p: Public generic functions
Method, longest-chain-p: Public generic functions
Method, meet: Public generic functions
Method, member-p: Public generic functions
Method, probabilistic-lattice-closure: Private generic functions
Method, probabilistic-lattice-cover: Private generic functions
Method, probabilistic-lattice-element-of: Private generic functions
Method, probabilistic-lattice-infimum: Private generic functions
Method, probabilistic-lattice-infimum-of: Private generic functions
Method, probabilistic-lattice-join: Private generic functions
Method, probabilistic-lattice-meet: Private generic functions
Method, probabilistic-lattice-member-p: Private generic functions
Method, probabilistic-lattice-relation-of: Private generic functions
Method, probabilistic-lattice-supremum: Private generic functions
Method, probabilistic-lattice-supremum-of: Private generic functions
Method, probabilities: Private generic functions
Method, relation-of: Public generic functions
Method, slice: Public generic functions
Method, sublattices: Private generic functions
Method, sup-of: Public generic functions
Method, sup-of: Public generic functions
Method, sup-of: Public generic functions
Method, supremum: Public generic functions
Method, supremum-of: Public generic functions

P
prob-hyperlattice-add: Public ordinary functions
prob-hyperlattice-closure: Public ordinary functions
prob-hyperlattice-inf: Public ordinary functions
prob-hyperlattice-inf-set: Public ordinary functions
prob-hyperlattice-member-p: Public ordinary functions
prob-hyperlattice-remove: Public ordinary functions
prob-hyperlattice-sup: Public ordinary functions
prob-hyperlattice-sup-set: Public ordinary functions
probabilistic-lattice-closure: Private generic functions
probabilistic-lattice-closure: Private generic functions
probabilistic-lattice-cover: Private generic functions
probabilistic-lattice-cover: Private generic functions
probabilistic-lattice-element-of: Private generic functions
probabilistic-lattice-element-of: Private generic functions
probabilistic-lattice-infimum: Private generic functions
probabilistic-lattice-infimum: Private generic functions
probabilistic-lattice-infimum-of: Private generic functions
probabilistic-lattice-infimum-of: Private generic functions
probabilistic-lattice-join: Private generic functions
probabilistic-lattice-join: Private generic functions
probabilistic-lattice-meet: Private generic functions
probabilistic-lattice-meet: Private generic functions
probabilistic-lattice-member-p: Private generic functions
probabilistic-lattice-member-p: Private generic functions
probabilistic-lattice-relation-of: Private generic functions
probabilistic-lattice-relation-of: Private generic functions
probabilistic-lattice-supremum: Private generic functions
probabilistic-lattice-supremum: Private generic functions
probabilistic-lattice-supremum-of: Private generic functions
probabilistic-lattice-supremum-of: Private generic functions
probabilities: Private generic functions
probabilities: Private generic functions
puthash: Public ordinary functions

R
relation-of: Public generic functions
relation-of: Public generic functions

S
slice: Public generic functions
slice: Public generic functions
sublattices: Private generic functions
sublattices: Private generic functions
sup-of: Public generic functions
sup-of: Public generic functions
sup-of: Public generic functions
sup-of: Public generic functions
supremum: Public generic functions
supremum: Public generic functions
supremum-of: Public generic functions
supremum-of: Public generic functions


A.4 Data types

Jump to:   C   F   G   H   L   P   S  
Index Entry  Section

C
Class, generalized-lattice: Public classes
Class, hyperlattice: Public classes
Class, lattice: Public classes
Class, poset: Public classes
Class, prob-hyperlattice: Public classes
Class, probabilistic-lattice: Private classes
Class, probabilistic-lattice: Private classes

F
File, generalized-lattice.lisp: The hyperlattices/generalized-lattice․lisp file
File, generic-interface.lisp: The hyperlattices/generic-interface․lisp file
File, hash-table-utils.lisp: The hyperlattices/hash-table-utils․lisp file
File, hyperlattice.lisp: The hyperlattices/hyperlattice․lisp file
File, hyperlattices.asd: The hyperlattices/hyperlattices․asd file
File, lattice.lisp: The hyperlattices/lattice․lisp file
File, poset.lisp: The hyperlattices/poset․lisp file
File, probabilistic-hyperlattice.lisp: The hyperlattices/probabilistic-hyperlattice․lisp file
File, probabilistic-lattice.lisp: The hyperlattices/probabilistic-lattice․lisp file

G
generalized-lattice: Public classes
generalized-lattice.lisp: The hyperlattices/generalized-lattice․lisp file
generic-interface.lisp: The hyperlattices/generic-interface․lisp file

H
hash-table-utils.lisp: The hyperlattices/hash-table-utils․lisp file
hyperlattice: Public classes
hyperlattice.lisp: The hyperlattices/hyperlattice․lisp file
hyperlattices: The hyperlattices system
hyperlattices.asd: The hyperlattices/hyperlattices․asd file
hyperlattices/asdf: The hyperlattices/asdf package
hyperlattices/generalized-lattice: The hyperlattices/generalized-lattice package
hyperlattices/generic-interface: The hyperlattices/generic-interface package
hyperlattices/hash-table-utils: The hyperlattices/hash-table-utils package
hyperlattices/hyperlattice: The hyperlattices/hyperlattice package
hyperlattices/lattice: The hyperlattices/lattice package
hyperlattices/partially-ordered-set: The hyperlattices/partially-ordered-set package
hyperlattices/probabilistic-hyperlattice: The hyperlattices/probabilistic-hyperlattice package
hyperlattices/probabilistic-lattice: The hyperlattices/probabilistic-lattice package

L
lattice: Public classes
lattice.lisp: The hyperlattices/lattice․lisp file

P
Package, hyperlattices/asdf: The hyperlattices/asdf package
Package, hyperlattices/generalized-lattice: The hyperlattices/generalized-lattice package
Package, hyperlattices/generic-interface: The hyperlattices/generic-interface package
Package, hyperlattices/hash-table-utils: The hyperlattices/hash-table-utils package
Package, hyperlattices/hyperlattice: The hyperlattices/hyperlattice package
Package, hyperlattices/lattice: The hyperlattices/lattice package
Package, hyperlattices/partially-ordered-set: The hyperlattices/partially-ordered-set package
Package, hyperlattices/probabilistic-hyperlattice: The hyperlattices/probabilistic-hyperlattice package
Package, hyperlattices/probabilistic-lattice: The hyperlattices/probabilistic-lattice package
poset: Public classes
poset.lisp: The hyperlattices/poset․lisp file
prob-hyperlattice: Public classes
probabilistic-hyperlattice.lisp: The hyperlattices/probabilistic-hyperlattice․lisp file
probabilistic-lattice: Private classes
probabilistic-lattice: Private classes
probabilistic-lattice.lisp: The hyperlattices/probabilistic-lattice․lisp file

S
System, hyperlattices: The hyperlattices system