#
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
–
deprecated
io
io.kagera
io.kagera.api
(class)
IdFn
(class)
LabeledFn
(class)
OptionOps
(trait)
PetriNet
(object)
PetriNetAnalysis
(class)
PetriNetGraphAdditions
(class)
PetriNetGraphNodeTAdditions
(class)
ScalaGraphPetriNet
(object)
tags
(object)
(trait)
TokenGame
io.kagera.api.colored
(class)
AbstractTransition
(class)
ColoredPetriNetAdditions
(trait)
ColoredTokenGame
(object)
(trait)
ExceptionStrategy
(object)
Generators
(class)
IterableToMarking
(object)
(case class)
Marking
(object)
(trait)
Place
(case class)
PlaceImpl
(trait)
PTEdge
(class)
PTEdgeImpl
(trait)
Transition
(trait)
TransitionExecutor
(class)
TransitionFailedException
io.kagera.api.colored.dsl
(class)
PlaceDSL
(trait)
StateTransitionNet
(class)
TransitionDSL
io.kagera.api.colored.transitions
(trait)
IdentityTransition
(trait)
UncoloredTransition
io.kagera.api.multiset
(object)
MultiSet
(class)
MultiSetOps