Structs§
- Formula
- Represents a temporal modal formula
- Graph
- Represents a graph within a model
- Graph
State - Represents the current state of a graph
- Model
- Represents a complete model
- Property
- Represents a property with a sign (+ or -)
- Transition
- Represents a transition between nodes
Enums§
- Formula
Expr - Represents a formula expression
- Property
Sign - The sign of a property
- TopLevel
Item - Represents a top-level item in a modality file