[−][src]Crate ascesis
Modules
ascesis_parser  
bnf_parser  
grammar  
node  
sat  
sentence 
Structs
AscesisFormat  
Axiom  
CEStructure  A single ce structure. 
CapacityBlock  A map from nodes to their capacities. 
CesFile  
CesInstance  
CesName  
Context  A representation of shared state. 
FatArrowRule  
FiringComponent  
FiringSequence  
FiringSet  
ForkID  
Harc  A common type of onetomany and manytoone arcs of the BFhypergraph representation of ce structures. 
ImmediateDef  
InContext  A shortterm binding of 
InContextMut  A shortterm binding of 
InhibitorBlock  An alphabetically ordered and deduplicated list of 
InteractiveFormat  
JoinID  
Link  
LinkID  
Logger  
Monomials  An iterator yielding monomials of a 
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 
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  
PortID  
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 
Compilable  
CompilableAsContent  
CompilableAsDependency  
CompilableMut  
Content  An abstraction over script formats: various ways ce 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. 
ParsingError  
ParsingResult  
Weight  Multiplicity of a harc (a monomial when attached to a node). 