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.

A B C D E F G H I J L M N O P R S T U V W X