#
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
(object)
Generators
(case class)
HMap
(case class)
Id
(class)
IdFn
(case class)
Label
(class)
LabeledFn
(class)
OptionOps
(trait)
PetriNet
(object)
PetriNetAnalysis
(class)
PetriNetGraphAdditions
(class)
PetriNetGraphNodeTAdditions
(class)
ScalaGraphPetriNet
(trait)
TokenGame
io.kagera.api.colored
(class)
ColoredPetriNetAdditions
(trait)
ColoredTokenGame
(object)
(trait)
ExceptionStrategy
(class)
IterableToMarking
(object)
Marking
(class)
MarkingAdditions
(class)
MultiSetToMarking
(object)
(trait)
Place
(case class)
PlaceImpl
(trait)
PTEdge
(class)
PTEdgeImpl
(trait)
Transition
io.kagera.api.colored.dsl
(class)
PlaceDSL
(trait)
SequenceNet
(trait)
StateTransitionNet
(case class)
TransitionBehaviour
(class)
TransitionDSL
io.kagera.api.colored.transitions
(class)
AbstractTransition
(trait)
IdentityTransition
(trait)
UncoloredTransition
io.kagera.api.multiset
(object)
MultiSet
(class)
MultiSetOps
io.kagera.execution
(class)
AsyncTransitionExecutor
(object)
EventSourcing
(case class)
ExceptionState
(object)
(case class)
Instance
(case class)
Job
(trait)
TransitionExecutor
io.kagera.persistence
(trait)
ObjectSerializer
(object)
(class)
Serialization
io.kagera.persistence.messages
(object)
(case class)
ConsumedToken
(object)
(case class)
FailureStrategy
(object)
(case class)
Initialized
(object)
InternalFields_messages
(object)
(case class)
ProducedToken
(object)
(case class)
SerializedData
(object)
(case class)
TransitionFailed
(object)
(case class)
TransitionFired