#
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
(object)
(trait)
Encryption
(trait)
ObjectSerializer
(object)
(class)
Serialization
(case class)
SerializedObject
io.kagera.persistence.messages
(object)
(case class)
ConsumedToken
(object)
(case class)
FailureStrategy
(object)
(case class)
Initialized
(object)
MessagesProto
(object)
(case class)
ProducedToken
(object)
(case class)
SerializedData
(object)
(case class)
TransitionFailed
(object)
(case class)
TransitionFired