Crate pn_editor_core[−][src]
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
| Editor | This represents the editor you want to use to edit and display petri nets. |
| NodeSettings | Settings for the sizes of the nodes. |
Enums
| ArrowKind | Represents from which type of element to which type of element an arrow should be drawn. |
| ViewMode | 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.
Every drawing method starts with |