Crate ascesis

Source

Modules§

ascesis_parser
bnf_parser
grammar
sat
sentence

Structs§

AcesError
AscesisError
AscesisFormat
Axiom
CEStructure
A single c-e structure.
CapacitiesBlock
A map from nodes to their capacities.
CesFile
CesImmediate
CesInstance
CesName
Context
A representation of shared state.
FatArrowRule
FiringComponent
FiringSequence
FiringSet
ForkID
An identifier of a Fork, a type derived from AtomID.
Goal
Harc
A common type of one-to-many and many-to-one arcs of the BF-hypergraph representation of c-e structures.
HoldersBlock
An alphabetically ordered and deduplicated list of Holders.
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.
InhibitorsBlock
An alphabetically ordered and deduplicated list of Inhibitors.
InteractiveFormat
JoinID
An identifier of a Join, a type derived from AtomID.
Lexer
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.
Node
NodeID
An identifier of a single node used in c-e structures.
NodeList
An alphabetically ordered and deduplicated list of Nodes.
PartialContent
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
UnboundedBlock
A vector of unbounded capacity nodes.
WeightsBlock
An alphabetically ordered and deduplicated list of transfer multiplicities.
YamlFormat

Enums§

AcesErrorKind
AscesisErrorKind
BinOp
CesFileBlock
Face
Literal
PropSelector
PropValue
Semantics
StopCondition
Token

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 Aliases§

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