Crate ascesis

Modules

ascesis_parser
bnf_parser
grammar
node
sat
sentence

Structs

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
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 multiplicities.
Node
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
PortID	An identifier of a Port, a type derived from AtomID.
PropBlock
Rex
Runner
Solution
Solver
State
ThinArrowRule
YamlFormat

Enums

AcesError
AscesisError
BinOp
CesFileBlock
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.
ParsingError
ParsingResult
Weight	Multiplicity of a harc (a monomial when attached to a node).