#
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
(case class)
Id
(class)
IdFn
(case class)
Label
(class)
LabeledFn
(class)
OptionOps
(trait)
PetriNet
(object)
PetriNetAnalysis
(class)
PetriNetGraphAdditions
(class)
PetriNetGraphNodeTAdditions
(class)
ScalaGraphPetriNet
(object)
(trait)
TokenGame
io.kagera.api.colored
(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)
TransitionExecutorImpl
(class)
TransitionFailedException
io.kagera.api.colored.dsl
(class)
PlaceDSL
(trait)
StateTransitionNet
(class)
TransitionDSL
io.kagera.api.colored.transitions
(class)
AbstractTransition
(trait)
IdentityTransition
(trait)
UncoloredTransition
io.kagera.api.multiset
(object)
MultiSet
(class)
MultiSetOps