com
.
ing
.
baker
.
petrinet
api
package
api
Linear Supertypes
MarkingOps
,
MultiSetOps
,
AnyRef
,
Any
Ordering
Alphabetic
By Inheritance
Inherited
api
MarkingOps
MultiSetOps
AnyRef
Any
Hide All
Show All
Visibility
Public
All
Type Members
type
BiPartiteGraph
[
P
,
T
,
E
[
X
]
<:
EdgeLikeIn
[
X
]
]
=
Graph
[
Either
[
P
,
T
],
E
]
type
Identifiable
[
T
]
= (
T
) ⇒
Id
implicit
class
IterableToMarking
[
P
[
_
]
]
extends
AnyRef
Definition Classes
MarkingOps
type
MarkedPlace
[
P
[
_
]
,
T
]
= (
P
[
T
],
MultiSet
[
T
])
type
Marking
[
P
[
_
]
]
=
HMap
[
P
,
MultiSet
]
implicit
class
MarkingFunctions
[
P
[
_
]
]
extends
AnyRef
Definition Classes
MarkingOps
type
MultiSet
[
T
]
=
Map
[
T
,
Int
]
implicit
class
MultiSetFunctions
[
T
]
extends
AnyRef
Definition Classes
MultiSetOps
implicit
class
MultiSetToMarking
[
P
[
_
]
]
extends
AnyRef
Definition Classes
MarkingOps
Value Members
implicit
def
extractId
[
T
]
(
e:
T
)
(
implicit
identifiable:
Identifiable
[
T
]
)
:
Long
implicit
def
placeToNode
[
P
,
T
]
(
p:
P
)
:
Either
[
P
,
T
]
def
requireUniqueElements
[
T
]
(
i:
Iterable
[
T
]
,
name:
String
)
:
Unit
implicit
def
toMarkedPlace
[
P
[
_
]
]
(
tuple: (
P
[
Unit
],
Int
)
)
:
MarkedPlace
[
P
,
Unit
]
Definition Classes
MarkingOps
def
toMarking
[
P
[
_
]
]
(
mset:
MultiSet
[
P
[_]]
)
:
Marking
[
P
]
Definition Classes
MarkingOps
implicit
def
transitionToNode
[
P
,
T
]
(
t:
T
)
:
Either
[
P
,
T
]
Inherited from
MarkingOps
Inherited from
MultiSetOps
Inherited from
AnyRef
Inherited from
Any
Ungrouped