[−][src]Crate aces

Modules

AcesError
CEStructure	A single c-e structure.
Context	A representation of shared state.
FiringComponent
FiringSequence
FiringSet
ForkID	An identifier of a `Fork`, a type derived from `AtomID`.
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 `Context` and any immutable object of a type that implements the `Contextual` trait.
InContextMut	A short-term binding of `Context` and any mutable object of a type that implements the `Contextual` trait.
InteractiveFormat
JoinID	An identifier of a `Join`, a type derived from `AtomID`.
Link	Representation of a link.
LinkID	An identifier of a `Link`, a type derived from `AtomID`.
Logger
Monomials	An iterator yielding monomials of a `Polynomial` as ordered sequences of `Atomic` identifiers.
Multiplicity	A scalar type common for node capacity, harc weight and state.
NodeID	An identifier of a single node used in c-e structures.
PartialContent
Polynomial	A formal polynomial.
Port	Representation of a port.
PortID	An identifier of a `Port`, a type derived from `AtomID`.
Runner
Solution
Solver
State
YamlFormat

Atomic	A trait of an identifier convertible into `NodeID` and into `sat::Literal`.
Compilable
CompilableAsContent
CompilableAsDependency
CompilableMut
Content	An abstraction over script formats: various ways c-e structures are described in text.
ContentFormat
Contextual	A trait for binding objects to `Context` temporarily, without permanently storing (and synchronizing) context references inside the objects.
ExclusivelyContextual	A version of the `Contextual` trait to be used for fine-grained access to `Context`.

AtomID	An abstract structural identifier serving as the common base of `PortID`, `LinkID`, `ForkID` and `JoinID`.
Capacity	A maximum number of tokens a node may hold.
ContextHandle	A handle to a `Context` instance.
Fork	Forward hyperarc representation of effects.
Join	Backward hyperarc representation of causes.
Weight	Multiplicity of a harc (a monomial when attached to a node).