[][src]Crate aces

Re-exports

pub use node::NodeID;

Modules

cli
monomial
node
sat

Structs

CES

A single c-e structure.

Context

A representation of shared state.

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.

Link
LinkID

An identifier of a Link, a type derived from [AtomID].

Logger
Monomials

An iterator yielding monomials of a Polynomial as sequences of Atomic identifiers.

Polynomial

A formal polynomial.

Port
PortID

An identifier of a Port, a type derived from [AtomID].

Traits

Atomic

A trait of an identifier convertible into NodeID and into sat::Literal.

Contextual

A trait for binding objects to Context temporarily, without permanently storing (and synchronizing) context references inside the objects.

Type Definitions

ContextHandle

A handle to a Context instance.