Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
R
S
T
U
V
W
X
I
Identity
- Class in
vanted.petrinetelements.misc
The Class Identity is a helper class for linking between nodes (Petri net) and edges (reachability graph).
Identity(long)
- Constructor for class vanted.petrinetelements.misc.
Identity
Instantiates a new identity.
IdentityAttribute
- Class in
vanted.attribute
The Class IdentityAttribute handles the identity attribute.
IdentityAttribute()
- Constructor for class vanted.attribute.
IdentityAttribute
Instantiates a new identity attribute.
IdentityAttribute(String)
- Constructor for class vanted.attribute.
IdentityAttribute
Instantiates a new identity attribute.
IdentityAttribute(String, String)
- Constructor for class vanted.attribute.
IdentityAttribute
Instantiates a new identity attribute.
IgnoreNode
- Class in
vanted.petrinetelements.misc
The Class IgnoreNode is a helper class for node hiding.
IgnoreNode(boolean)
- Constructor for class vanted.petrinetelements.misc.
IgnoreNode
Instantiates a new ignore node.
IgnoreNodeAttribute
- Class in
vanted.attribute
The Class IgnoreNodeAttribute handles the ignore node attribute.
IgnoreNodeAttribute()
- Constructor for class vanted.attribute.
IgnoreNodeAttribute
Instantiates a new ignore node attribute.
IgnoreNodeAttribute(String)
- Constructor for class vanted.attribute.
IgnoreNodeAttribute
Instantiates a new ignore node attribute.
IgnoreNodeAttribute(String, String)
- Constructor for class vanted.attribute.
IgnoreNodeAttribute
Instantiates a new ignore node attribute.
InArc
- Class in
vanted.petrinetelements
The Class InArc for arc handling, where the arc is an ingoing arc of a transition.
InArc(Place, Transition, Edge)
- Constructor for class vanted.petrinetelements.
InArc
Instantiates a new in arc.
indexOf(Object)
- Method in class vanted.petrinetelements.
PlaceList
InvariantHelper
- Class in
misc
InvariantHelper()
- Constructor for class misc.
InvariantHelper
InvariantTableComponent
- Class in
vanted.gui
InvariantTableComponent()
- Constructor for class vanted.gui.
InvariantTableComponent
IPNButtonListener
- Interface in
vanted.gui.button
The listener interface for receiving IPNButton events.
isEnabled(Transition)
- Method in class petri_jfern.
PNJFern
isEnabled()
- Method in class vanted.petrinetelements.
Transition
Checks if the transition is enabled.
isEnabled(Transition)
- Method in interface vanted.petrinetelements.
TransitionListener
Checks if is enabled.
isInArc()
- Method in class vanted.petrinetelements.
InArc
Checks if the arc is an ingoing arc.
isInArc()
- Method in class vanted.petrinetelements.
OutArc
Checks if the arc is an ingoing arc.
isPlace(String)
- Static method in enum vanted.petrinetelements.
NodeShape
Checks if a string belongs to a place.
isPlace(Node)
- Static method in class vanted.petrinetelements.
Place
Checks if the node is a place.
isPNCorrect(Graph)
- Method in class vanted.validation.
Validator
Checks if the Petri net is correct.
isPNCorrectSilent(Graph)
- Method in class vanted.validation.
Validator
Checks if the Petri net is correct in silent mode (silent = no message if the Petri net is correct).
isPurePN(PetriNet)
- Static method in class vanted.petrinetelements.misc.
Check
Checks if the Petri net is pure.
isReachabilityGraph(Graph)
- Static method in class vanted.addon.
PetriAddonTab
Checks if the graph is a reachability graph, true if the graph name contains the word "reachabilityGraph".
isReversibleEdge(Edge)
- Static method in class vanted.petrinetelements.misc.
Check
Checks if the edge is a visual inverted edge.
isRevTransition()
- Method in class vanted.petrinetelements.
Transition
Is the transition reversible.
isTimed()
- Method in class vanted.petrinetelements.
Transition
Checks if the transition is timed.
isTransition(String)
- Static method in enum vanted.petrinetelements.
NodeShape
Checks if a string belongs to a transition.
isTransition(Node)
- Static method in class vanted.petrinetelements.
Transition
Checks if the node is a transition.
isValueDouble()
- Method in class vanted.petrinetelements.cpn.
Expression
Checks if is value double.
isValueInteger()
- Method in class vanted.petrinetelements.cpn.
Expression
Checks if is value integer.
isVisuallyInvertedEdge(Edge)
- Static method in class vanted.validation.
Validator
Checks if edges are visually inverted.
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
R
S
T
U
V
W
X