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
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
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