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

G

get(Node, Node) - Method in class vanted.validation.MyNodesArray
Gets the nodes from the graph.
getAddonName() - Static method in class vanted.addon.StartVantedWithAddon
Gets the addon name.
getAllArcs() - Method in class vanted.petrinetelements.PetriNet
Gets the all arcs.
getAllarcsR() - Method in class petri_jfern.ArcMap
Gets the allarcs r (rakiura).
getAllArcsV() - Method in class petri_jfern.ArcMap
Gets the all arcs v (vanted).
getAllInvariantNodes(List, Matrix) - Static method in class misc.InvariantHelper
 
getAllPlaces() - Method in class vanted.petrinetelements.PetriNet
Gets all the places.
getAllPlacesR() - Method in class petri_jfern.PlaceMap
Gets the all places r (rakiura).
getAllPlacesV() - Method in class petri_jfern.PlaceMap
Gets the all places v (vanted).
getAllPlacesWithCapacity() - Method in class vanted.petrinetelements.PetriNet
Gets all the places with capacity.
getAllSelectedTransitions(Collection<Node>) - Method in class vanted.petrinetelements.PetriNet
Gets all the selected transitions.
getAllTokens() - Method in class vanted.petrinetelements.cpn.Marking
Gets the all tokens.
getAllTransitions() - Method in class vanted.petrinetelements.PetriNet
Gets all the transitions.
getAllTransitionsR() - Method in class petri_jfern.TransitionMap
Gets the all transitions r (rakiura).
getAllTransitionsV() - Method in class petri_jfern.TransitionMap
Gets the all transitions v (vanted).
getarcR(AbstractArc) - Method in class petri_jfern.ArcMap
Gets the arc r (rakiura).
getArcs() - Method in class vanted.petrinetelements.Place
Gets the arcs of a place.
getArcV(AbstractArc) - Method in class petri_jfern.ArcMap
Gets the arc v (vanted).
getArcWeight() - Method in class vanted.attribute.ArcWeightAttribute
Gets the arc-weight.
getArcWeight() - Method in class vanted.petrinetelements.AbstractArc
Gets the object ArcWeight which contains an object with the arc-weight.
getAttributeListener() - Method in class vanted.gui.AbstractGUIComp
 
getBestAutoOutsideSetting(Node) - Static method in class vanted.attribute.LabelComponentHelper
 
getBMatrix() - Method in class misc.MatrixOperation
Gets the backward matrix.
getBMatrixInt() - Method in class misc.MatrixOperation
Gets the int backward matrix.
getCapacity() - Method in class vanted.attribute.CapacityAttribute
Gets the capacity.
getCapacity() - Method in class vanted.petrinetelements.Place
Gets the capacity of a place.
getCapacityContinous(Element) - Method in class pnml.loader.PNMLHelper
 
getCapacityVector() - Method in class vanted.petrinetelements.PetriNet
 
getCategory() - Method in class vanted.attribute.cpn.expression.AddExpressionsToArc
 
getCategory() - Method in class vanted.attribute.cpn.guard.AddGuardsToArc
 
getCategory() - Method in class vanted.attribute.cpn.guard.AddGuardsToTransition
 
getChangeBtn() - Method in class vanted.gui.AbstractGUIComp
 
getColor(Transition) - Method in class petri_jfern.TransitionMap
Gets the color.
getComponent() - Method in class vanted.attribute.AbstractAttributeEditor
 
getComponent() - Method in class vanted.attribute.cpn.expression.ExpressionArcAttributeEditor
 
getComponent() - Method in class vanted.attribute.cpn.guard.GuardArcAttributeEditor
 
getComponent() - Method in class vanted.attribute.cpn.guard.GuardAttributeEditor
 
getComponent() - Method in class vanted.attribute.token.TokenAttributeDiscreteEditorAll
 
getComponent() - Method in class vanted.attribute.token.TokenAttributeDiscreteEditorOne
 
getCountIntegerToken(Multiset) - Static method in class petri_jfern.PNJFern
Gets the number of discrete tokens.
getDescription() - Method in class vanted.attribute.cpn.expression.AddExpressionsToArc
 
getDescription() - Method in class vanted.attribute.cpn.guard.AddGuardsToArc
 
getDescription() - Method in class vanted.attribute.cpn.guard.AddGuardsToTransition
 
getDimension(Element) - Method in class pnml.loader.PNMLHelper
 
getDraw() - Method in class vanted.attribute.DrawingEdgeAttribute
Gets the draw.
getDraw() - Method in class vanted.attribute.DrawingNodeAttribute
Gets the draw.
getDraw() - Method in class vanted.petrinetelements.AbstractArc
Gets the object DrawingEdge which contains a String with a label.
getDraw() - Method in class vanted.petrinetelements.NodePN
Gets the object DrawingNode which contains a double with its marking or -1 for omega (coverbilityGraph) or a constant (check for Petri net drawing).
getEdge() - Method in class vanted.petrinetelements.AbstractArc
Gets the edge.
getEdges() - Method in class vanted.petrinetelements.AbstractArc
Gets the edges.
getElement(String, Element) - Static method in class pnml.loader.PNMLHelper
 
getEnabledTransitions(TransitionRule) - Method in class vanted.petrinetelements.PetriNet
Gets the enabled transitions.
getEnabledTransitionsFromMarking(double[], TransitionRule) - Method in class vanted.petrinetelements.PetriNet
Gets the enabled transitions from marking.
getExp() - Method in enum petri_jfern.cpn.StatementAction
Gets the expression
getExp() - Method in enum petri_jfern.cpn.StatementExpression
Gets the expression
getExp() - Method in enum petri_jfern.cpn.StatementGuard
Gets the expression
getExpressions() - Method in class vanted.attribute.cpn.expression.ExpressionAttribute
Gets the expressions.
getExpressions() - Method in class vanted.petrinetelements.AbstractArc
Gets the expressions.
getExtensions() - Method in class pnml.loader.XML_PNML_Loader
Returns the extensions supported by this reader.
getExtensions() - Method in class pnml.writer.XML_PNML_Writer
Specify all extensions you are able to write.
getFileTypeDescriptions() - Method in class pnml.loader.XML_PNML_Loader
 
getFileTypeDescriptions() - Method in class pnml.writer.XML_PNML_Writer
Description of the file format, which will be shown in the file dialog as .
getFMatrix() - Method in class misc.MatrixOperation
Gets the forward matrix.
getFMatrixInt() - Method in class misc.MatrixOperation
Gets the int forward matrix.
getGraph() - Method in class vanted.petrinetelements.PetriNet
Gets the graph.
getGuards() - Method in class vanted.attribute.cpn.guard.GuardArcAttribute
Gets the guards.
getGuards() - Method in class vanted.attribute.cpn.guard.GuardAttribute
Gets the guards.
getGuards() - Method in class vanted.petrinetelements.InArc
Gets the guards of the ingoing arc.
getGuards() - Method in class vanted.petrinetelements.Transition
Gets the guards of the transition.
getHideArcWeight() - Method in class vanted.attribute.HideArcWeightAttribute
Gets the hide arc-weight.
getHideArcWeight() - Method in class vanted.petrinetelements.PetriNet
Gets the object HideArcWeight which contains true (hiding all arc weight), or false.
getHideCapacity() - Method in class vanted.attribute.HideCapacityAttribute
Gets the hide capacity.
getHideCapacity() - Method in class vanted.petrinetelements.PetriNet
Get the object HideCapacity which contains true (hiding all capacities), or false.
getHideLabel() - Method in class vanted.attribute.HideLabelAttribute
Gets the hide label.
getHideLabel() - Method in class vanted.petrinetelements.PetriNet
Gets the object HideLabel which contains true (hiding all node label), or false.
getHideToken() - Method in class vanted.attribute.HideTokenAttribute
Gets the hide token.
getHideToken() - Method in class vanted.petrinetelements.PetriNet
Gets the object HideToken which contains true (hiding all tokens), or false.
getID(String) - Method in class pnml.loader.AbstractPetriNetParser
 
getID() - Method in class vanted.petrinetelements.AbstractArc
Gets the iD.
getID() - Method in class vanted.petrinetelements.NodePN
Gets the node id.
getIdentity() - Method in class vanted.attribute.IdentityAttribute
Gets the identity.
getIdentity() - Method in class vanted.petrinetelements.NodePN
Gets the object Identity which contains a random value for linking between nodes (Petri net) and edges (reachability graph).
getIgnoreNode() - Method in class vanted.attribute.IgnoreNodeAttribute
Gets the ignore node.
getIgnoreNode() - Method in class vanted.petrinetelements.NodePN
Gets the object IgnoreNode which contains true (hiding the node), or false.
getInArcs() - Method in class vanted.petrinetelements.Place
Gets the in arcs of a place.
getInArcs() - Method in class vanted.petrinetelements.Transition
Gets the in arcs of the transition.
getIncidenceMatrix() - Method in class misc.MatrixOperation
Gets the incidence matrix.
getInscriptionContinuous(Element) - Method in class pnml.loader.PNMLHelper
 
getLibrary() - Method in class vanted.petrinetelements.PetriNet
Gets the library.
getListener() - Method in class simulation.Simulator
Gets the listener.
getListeners() - Method in class vanted.petrinetelements.PetriNet
Gets the listeners.
getMarking() - Method in class petri_jfern.PNJFern
 
getMarking() - Method in interface vanted.petrinetelements.Library
Gets the marking.
getMarking() - Method in class vanted.petrinetelements.PetriNet
Gets the marking.
getMarking(PetriNet) - Static method in class vanted.petrinetelements.PetriNet
Gets the Petri net marking.
getMarking2() - Method in class petri_jfern.PNJFern
 
getMarking2() - Method in interface vanted.petrinetelements.Library
Gets the marking2.
getMarkingContinous(Element) - Method in class pnml.loader.PNMLHelper
 
getName() - Method in class vanted.addon.PetriAddonTab
 
getName() - Method in class vanted.attribute.cpn.expression.AddExpressionsToArc
 
getName() - Method in class vanted.attribute.cpn.guard.AddGuardsToArc
 
getName() - Method in class vanted.attribute.cpn.guard.AddGuardsToTransition
 
getName() - Method in enum vanted.petrinetelements.misc.PetriNetType
 
getName() - Method in class vanted.petrinetelements.NodePN
Gets the node label or the node id.
getNode() - Method in class vanted.petrinetelements.NodePN
Gets the node.
getNodes() - Method in class vanted.petrinetelements.NodePN
Gets the nodes.
getObj() - Method in class vanted.ThreadSafeClass
Gets the object.
getOutArcs() - Method in class vanted.petrinetelements.Place
Gets the out arcs of a place.
getOutArcs() - Method in class vanted.petrinetelements.Transition
Gets the out arcs of the transition.
getParameters() - Method in class vanted.attribute.cpn.expression.AddExpressionsToArc
 
getParameters() - Method in class vanted.attribute.cpn.guard.AddGuardsToArc
 
getParameters() - Method in class vanted.attribute.cpn.guard.AddGuardsToTransition
 
getPetriNet() - Method in class vanted.petrinetelements.cpn.Marking
Gets the petri net.
getPlace() - Method in class vanted.petrinetelements.AbstractArc
Gets the place.
getPlacePosition(Place) - Method in class vanted.petrinetelements.PetriNet
Gets the place position in the Petri net.
getPlaceR(Place) - Method in class petri_jfern.PlaceMap
Gets the place r (rakiura).
getPlaces() - Method in class vanted.petrinetelements.Transition
Gets the places.
getPlaceToken() - Method in class vanted.petrinetelements.cpn.Marking
Gets the place token.
getPlaceV(Place) - Method in class petri_jfern.PlaceMap
Gets the place v.
getPosition(Element) - Method in class pnml.loader.PNMLHelper
 
getRate() - Method in class vanted.petrinetelements.Transition
Gets the rate.
getReachability() - Method in class vanted.petrinetelements.NodePN
Gets the object Reachability which contains a String with its marking.
getRemoveBtn() - Method in class vanted.gui.AbstractGUIComp
 
getReversibleTransition() - Method in class vanted.petrinetelements.Transition
Gets the reversible transition.
getSimulator() - Method in class petri_jfern.PNJFern
 
getSimulator() - Method in interface vanted.petrinetelements.Library
Gets the simulator.
getSleepTime() - Method in class simulation.Simulator
Gets the sleep time.
getSourceNode() - Method in class vanted.validation.MyNodes
Gets the source node.
getSpinner() - Method in class vanted.gui.AbstractGUIComp
 
getState() - Method in class vanted.attribute.ReachabilityAttribute
Gets the state.
getStatement() - Method in class vanted.petrinetelements.cpn.Action
Gets the statement.
getStatement() - Method in class vanted.petrinetelements.cpn.Expression
Gets the statement.
getStatement() - Method in class vanted.petrinetelements.cpn.Guard
Gets the statement.
getString() - Method in class vanted.attribute.ArcWeightAttribute
 
getString() - Method in class vanted.attribute.CapacityAttribute
 
getString() - Method in class vanted.attribute.cpn.expression.ExpressionAttribute
 
getString() - Method in class vanted.attribute.cpn.guard.GuardArcAttribute
 
getString() - Method in class vanted.attribute.cpn.guard.GuardAttribute
 
getString() - Method in class vanted.attribute.DrawingEdgeAttribute
 
getString() - Method in class vanted.attribute.DrawingNodeAttribute
 
getString() - Method in class vanted.attribute.HideArcWeightAttribute
 
getString() - Method in class vanted.attribute.HideCapacityAttribute
 
getString() - Method in class vanted.attribute.HideLabelAttribute
 
getString() - Method in class vanted.attribute.HideTokenAttribute
 
getString() - Method in class vanted.attribute.IdentityAttribute
 
getString() - Method in class vanted.attribute.IgnoreNodeAttribute
 
getString() - Method in class vanted.attribute.ReachabilityAttribute
 
getString() - Method in class vanted.attribute.token.AbstractTokenAttribute
 
getTargetNode() - Method in class vanted.validation.MyNodes
Gets the target node.
getTitle() - Method in class vanted.addon.PetriAddonTab
 
getTokens() - Method in class vanted.attribute.token.AbstractTokenAttribute
Gets the tokens.
getTokens() - Method in class vanted.petrinetelements.Place
Gets the tokens of a place.
getTokensContinuous() - Method in class vanted.petrinetelements.Place
Gets the continuous tokens of a place.
getTokensDiscrete() - Method in class vanted.petrinetelements.Place
Gets the discrete tokens of a place.
getTokenType(Element) - Method in class pnml.loader.PNMLHelper
 
getTokenType(List<Place>) - Static method in enum vanted.petrinetelements.misc.PetriNetType
Gets the type of a token.
getToolspecific(Element) - Method in class pnml.loader.PNMLHelper
 
getTransition() - Method in class vanted.petrinetelements.AbstractArc
Gets the transition.
getTransitionPosition(Transition) - Method in class vanted.petrinetelements.PetriNet
Gets the transition position in the Petri net.
getTransitionR(Transition) - Method in class petri_jfern.TransitionMap
Gets the transition r (rakiura).
getTransitionV(Transition) - Method in class petri_jfern.TransitionMap
Gets the transition v (vanted).
getTxt() - Method in enum vanted.petrinetelements.NodeShape
Gets the txt.
getType(List<Place>) - Static method in enum vanted.petrinetelements.misc.PetriNetType
Gets the type of a Petri net from the places.
getType2(Graph) - Static method in enum vanted.petrinetelements.misc.PetriNetType
Gets the type from a graph.
getValue(String, Element) - Static method in class pnml.loader.PNMLHelper
 
getValue() - Method in class vanted.analysis.Reachability
Gets the reachability value.
getValue() - Method in class vanted.attribute.ArcWeightAttribute
 
getValue() - Method in class vanted.attribute.CapacityAttribute
 
getValue() - Method in class vanted.attribute.cpn.expression.ExpressionAttribute
 
getValue() - Method in class vanted.attribute.cpn.guard.GuardArcAttribute
 
getValue() - Method in class vanted.attribute.cpn.guard.GuardAttribute
 
getValue() - Method in class vanted.attribute.DrawingEdgeAttribute
 
getValue() - Method in class vanted.attribute.DrawingNodeAttribute
 
getValue() - Method in class vanted.attribute.HideArcWeightAttribute
 
getValue() - Method in class vanted.attribute.HideCapacityAttribute
 
getValue() - Method in class vanted.attribute.HideLabelAttribute
 
getValue() - Method in class vanted.attribute.HideTokenAttribute
 
getValue() - Method in class vanted.attribute.IdentityAttribute
 
getValue() - Method in class vanted.attribute.IgnoreNodeAttribute
 
getValue() - Method in class vanted.attribute.ReachabilityAttribute
 
getValue() - Method in class vanted.attribute.token.AbstractTokenAttribute
 
getValue(String) - Method in class vanted.gui.button.JSpinnerDouble
Gets the value.
getValue() - Method in class vanted.petrinetelements.AbstractToken
Gets the value.
getValue() - Method in class vanted.petrinetelements.ArcWeight
Gets the value.
getValue() - Method in class vanted.petrinetelements.Capacity
Gets the value.
getValue() - Method in class vanted.petrinetelements.cpn.Action
Gets the value.
getValue() - Method in class vanted.petrinetelements.cpn.Expression
Gets the value.
getValue() - Method in class vanted.petrinetelements.cpn.Guard
Gets the value.
getValue() - Method in class vanted.petrinetelements.misc.DrawingEdge
Gets the value.
getValue() - Method in class vanted.petrinetelements.misc.DrawingNode
Gets the value.
getValue() - Method in class vanted.petrinetelements.misc.HideArcWeight
Gets the value.
getValue() - Method in class vanted.petrinetelements.misc.HideCapacity
Gets the value.
getValue() - Method in class vanted.petrinetelements.misc.HideLabel
Gets the value.
getValue() - Method in class vanted.petrinetelements.misc.HideToken
Gets the value.
getValue() - Method in class vanted.petrinetelements.misc.Identity
Gets the value.
getValue() - Method in class vanted.petrinetelements.misc.IgnoreNode
Gets the value.
getValue() - Method in class vanted.petrinetelements.TokenContinuous
 
getValue() - Method in class vanted.petrinetelements.TokenDiscrete
 
getValueByTag(String, Element) - Static method in class pnml.loader.PNMLHelper
 
graphChanged(Graph) - Method in class vanted.gui.AbstractGUIComp
Graph changed.
graphChanged(Graph) - Method in class vanted.gui.AnalysisGUI
Graph changed.
graphChanged(Graph) - Method in class vanted.gui.PetriNetAttributeGUI
Graph changed.
graphChanged(Graph) - Method in class vanted.gui.ReconstructionGUI
Graph changed.
graphChanged(Graph) - Method in class vanted.gui.SimulationGUI
Graph changed.
GraphHelper - Class in vanted
The Class GraphHelper layouts the parallel edges of the reachability graph.
GraphHelper() - Constructor for class vanted.GraphHelper
 
Guard - Class in vanted.petrinetelements.cpn
The Class Guard.
Guard(String) - Constructor for class vanted.petrinetelements.cpn.Guard
Instantiates a new guard.
Guard(StatementGuard, Object) - Constructor for class vanted.petrinetelements.cpn.Guard
Instantiates a new guard.
GuardArcAttribute - Class in vanted.attribute.cpn.guard
The Class GuardArcAttribute for arc-guard handling.
GuardArcAttribute() - Constructor for class vanted.attribute.cpn.guard.GuardArcAttribute
Instantiates a new arc-guard attribute.
GuardArcAttribute(String) - Constructor for class vanted.attribute.cpn.guard.GuardArcAttribute
Instantiates a new arc-guard attribute.
GuardArcAttribute(String, String) - Constructor for class vanted.attribute.cpn.guard.GuardArcAttribute
Instantiates a new arc-guard attribute.
GuardArcAttributeEditor - Class in vanted.attribute.cpn.guard
The Class GuardArcAttributeEditor a way to change the arc-guard in the VANTED gui.
GuardArcAttributeEditor(Displayable) - Constructor for class vanted.attribute.cpn.guard.GuardArcAttributeEditor
Instantiates a new guard arc attribute editor.
GuardAttribute - Class in vanted.attribute.cpn.guard
The Class GuardAttribute for the guard attribute handling.
GuardAttribute() - Constructor for class vanted.attribute.cpn.guard.GuardAttribute
Instantiates a new guard attribute.
GuardAttribute(String) - Constructor for class vanted.attribute.cpn.guard.GuardAttribute
Instantiates a new guard attribute.
GuardAttribute(String, String) - Constructor for class vanted.attribute.cpn.guard.GuardAttribute
Instantiates a new guard attribute.
GuardAttributeEditor - Class in vanted.attribute.cpn.guard
The Class GuardAttributeEditor a way to change the guard in the VANTED gui.
GuardAttributeEditor(Displayable) - Constructor for class vanted.attribute.cpn.guard.GuardAttributeEditor
Instantiates a new guard attribute editor.
GUICompArcWeight - Class in vanted.gui
 
GUICompArcWeight() - Constructor for class vanted.gui.GUICompArcWeight
 
GUICompContinuousToken - Class in vanted.gui
 
GUICompContinuousToken() - Constructor for class vanted.gui.GUICompContinuousToken
 
GUICompDiscreteToken - Class in vanted.gui
 
GUICompDiscreteToken() - Constructor for class vanted.gui.GUICompDiscreteToken
 
GUICompPlaceCapacity - Class in vanted.gui
 
GUICompPlaceCapacity() - Constructor for class vanted.gui.GUICompPlaceCapacity
 

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