Expand description
This contains the logic for editing petri nets.
In order to use it, you need to implement the Renderer trait for your renderer.
Then you can create a new Editor.
Then you need to call the main events input, render and update repeatedly as specified.
In order to call input, you need to create an InputEvent.
Structs§
- Callable
State - Indicates if some transition is callable.
- Editor
- This represents the editor you want to use to edit and display petri nets.
- Node
Settings - Settings for the sizes of the nodes.
Enums§
- Action
Button - Different buttons are used for different actions.
- Arrow
Kind - Represents from which type of element to which type of element an arrow should be drawn.
- Cursor
Boundary - Represents the cursor position at the start or end of a line or file.
- Fire
Direction - The fire direction for firing transitions.
- Line
Direction - Represents the vertical direction for moving the text cursor.
- Line
Scope - Represents the scope of lines affected by the cursor movement.
- View
Mode - The view mode indicates how the petri net is displayed.
Traits§
- Renderer
- The renderer trait is used to display the elements of the petri net in a specific way.