[−][src]Crate aces

Re-exports

pub use node::NodeID;

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`.
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.
JoinID	An identifier of a `Join`, a type derived from `AtomID`.
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.
PartialContent
Polynomial	A formal polynomial.
Port
PortID	An identifier of a `Port`, a type derived from `AtomID`.
Runner
Solution
Solver
Split
State

Atomic	A trait of an identifier convertible into `NodeID` and into `sat::Literal`.
CompilableAsContent
CompilableAsDependency
Content	An abstraction over script formats: various ways c-e structures are described in text.
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`.
ContextHandle	A handle to a `Context` instance.
Fork
Join