Crate aces

Re-exports

pub use node::NodeID;

Modules

cli
monomial
node
sat

Structs

CEStructure	A single c-e structure.
Context	A representation of shared state.
FiringComponent
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.
Split

Enums

AcesError
ContentOrigin

Traits

Atomic	A trait of an identifier convertible into NodeID and into sat::Literal.
CompilableAsContent
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.

Type Definitions

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