Crate aces

Re-exports

pub use node::NodeID;

Modules

node
sat

Structs

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

Enums

AcesError
Semantics

Traits

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.

Type Definitions

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