Crate ascesis

Modules

ascesis_parser
bnf_parser
grammar
sat
sentence

Structs

AcesError
AscesisError
AscesisFormat
Axiom
CEStructure	A single c-e structure.
CapacityBlock	A map from nodes to their capacities.
CesFile
CesInstance
CesName
Context	A representation of shared state.
FatArrowRule
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.
ImmediateDef
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.
InhibitorBlock	An alphabetically ordered and deduplicated list of Inhibitors.
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.
MultiplicityBlock	An alphabetically ordered and deduplicated list of transfer multiplicities.
Node
NodeID	An identifier of a single node used in c-e structures.
NodeList	An alphabetically ordered and deduplicated list of Nodes.
PartialContent
Polynomial	A formal polynomial.
Polynomial	An alphabetically ordered and deduplicated list of monomials, where each monomial is alphabetically ordered and deduplicated list of Nodes.
Port	Representation of a port.
PortID	An identifier of a Port, a type derived from AtomID.
PropBlock
Rex
Runner
Solution
Solver
State
ThinArrowRule
YamlFormat

Enums

AcesErrorKind
AscesisErrorKind
BinOp
CesFileBlock
Face
Literal
PropSelector
PropValue
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.
ToCesName
ToNode

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