Modules§
Structs§
- Aces
Error - CEStructure
- A single c-e structure.
- Context
- A representation of shared state.
- Firing
Component - Firing
Sequence - Firing
Set - ForkID
- An identifier of a
Fork, a type derived fromAtomID. - Goal
- Harc
- A common type of one-to-many and many-to-one arcs of the BF-hypergraph representation of c-e structures.
- InContext
- A short-term binding of
Contextand any immutable object of a type that implements theContextualtrait. - InContext
Mut - A short-term binding of
Contextand any mutable object of a type that implements theContextualtrait. - Interactive
Format - JoinID
- An identifier of a
Join, a type derived fromAtomID. - Link
- Representation of a link.
- LinkID
- An identifier of a
Link, a type derived fromAtomID. - Logger
- Monomials
- An iterator yielding monomials of a
Polynomialas ordered sequences ofAtomicidentifiers. - Multiplicity
- A scalar type common for node capacity, harc weight and state.
- NodeID
- An identifier of a single node used in c-e structures.
- Partial
Content - Polynomial
- A formal polynomial.
- Port
- Representation of a port.
- PortID
- An identifier of a
Port, a type derived fromAtomID. - Runner
- Solution
- Solver
- State
- Yaml
Format
Enums§
Traits§
- Atomic
- A trait of an identifier convertible into
NodeIDand intosat::Literal. - Compilable
- Compilable
AsContent - Compilable
AsDependency - Compilable
Mut - Content
- An abstraction over script formats: various ways c-e structures are described in text.
- Content
Format - Contextual
- A trait for binding objects to
Contexttemporarily, without permanently storing (and synchronizing) context references inside the objects. - Exclusively
Contextual - A version of the
Contextualtrait to be used for fine-grained access toContext.
Type Aliases§
- AtomID
- An abstract structural identifier serving as the common base of
PortID,LinkID,ForkIDandJoinID. - Capacity
- A maximum number of tokens a node may hold.
- Context
Handle - A handle to a
Contextinstance. - Fork
- Forward hyperarc representation of effects.
- Join
- Backward hyperarc representation of causes.
- Weight
- Multiplicity of a harc (a monomial when attached to a node).