[−][src]Crate ascesis
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 | |
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 |
ImmediateDef | |
InContext | A short-term binding of |
InContextMut | A short-term binding of |
InhibitorsBlock | An alphabetically ordered and deduplicated list of |
InteractiveFormat | |
JoinID | |
Lexer | |
Link | Representation of a link. |
LinkID | |
Logger | |
Monomials | An iterator yielding monomials of a |
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 |
PartialContent | |
Polynomial | A formal polynomial. |
Polynomial | An alphabetically ordered and deduplicated list of monomials,
where each monomial is alphabetically ordered and deduplicated
list of |
Port | Representation of a port. |
PortID | |
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 |
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 |
ExclusivelyContextual | A version of the |
ToCesName | |
ToNode |
Type Definitions
AtomID | An abstract structural identifier serving as the common base of
|
Capacity | A maximum number of tokens a node may hold. |
ContextHandle | A handle to a |
Fork | Forward hyperarc representation of effects. |
Join | Backward hyperarc representation of causes. |
Weight | Multiplicity of a harc (a monomial when attached to a node). |