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

R

Reachability - Class in vanted.analysis
The Class Reachability for the reachability handling.
Reachability(String) - Constructor for class vanted.analysis.Reachability
Instantiates a new reachability.
ReachabilityAttribute - Class in vanted.attribute
The Class ReachabilityAttribute handles the reachability attribute.
ReachabilityAttribute() - Constructor for class vanted.attribute.ReachabilityAttribute
Instantiates a new reachability attribute.
ReachabilityAttribute(String) - Constructor for class vanted.attribute.ReachabilityAttribute
Instantiates a new reachability attribute.
ReachabilityAttribute(String, String) - Constructor for class vanted.attribute.ReachabilityAttribute
Instantiates a new reachability attribute.
read(InputStream, Graph) - Method in class pnml.loader.XML_PNML_Loader
Reads in a graph from the given input stream.
read(InputStream) - Method in class pnml.loader.XML_PNML_Loader
Reads in a graph from the given input stream.
read(Reader, Graph) - Method in class pnml.loader.XML_PNML_Loader
 
ReconstructionGUI - Class in vanted.gui
The Class ReconstructionGUI creates the whole reconstruction tab.
ReconstructionGUI() - Constructor for class vanted.gui.ReconstructionGUI
Instantiates a new reconstruction gui.
recreate() - Method in class vanted.attribute.ArcWeightAttributeComponent
 
recreate() - Method in class vanted.attribute.CapacityAttributeComponent
 
recreate() - Method in class vanted.attribute.cpn.expression.ExpressionAttributeComponent
 
recreate() - Method in class vanted.attribute.DrawAttributeComponent
Is called every time the attribute value is changed and if it is not a change in size, shift or position.
recreate() - Method in class vanted.attribute.token.TokenAttributeContinuousComponent
 
recreate() - Method in class vanted.attribute.token.TokenAttributeDiscreteComponent
 
removeAllExpressions() - Method in class vanted.attribute.cpn.expression.ExpressionAttribute
Removes all expressions.
removeAllExpressions() - Method in class vanted.petrinetelements.AbstractArc
Removes all the expressions.
removeAllGuards() - Method in class vanted.attribute.cpn.guard.GuardArcAttribute
Removes all guards.
removeAllGuards() - Method in class vanted.attribute.cpn.guard.GuardAttribute
Removes the all guards.
removeAllGuards() - Method in class vanted.petrinetelements.InArc
Removes the all guards from the ingoing arc.
removeAllGuards() - Method in class vanted.petrinetelements.Transition
Removes the all guards of the transition.
removeAllToken() - Method in class vanted.petrinetelements.Place
Removes the all token of a place (if the place is a logical place then all tokens of the associated places are also removed).
removeAllTokens() - Method in class vanted.attribute.token.AbstractTokenAttribute
Removes all tokens.
removeAllTokens() - Method in class vanted.attribute.token.TokenAttributeContinuous
 
removeAllTokens() - Method in class vanted.attribute.token.TokenAttributeDiscrete
 
removeAnyToken() - Method in class vanted.attribute.token.TokenAttributeDiscrete
Removes any token.
removeArcR(AbstractArc) - Method in class petri_jfern.ArcMap
Removes the arc r (rakiura).
removeArcV(AbstractArc) - Method in class petri_jfern.ArcMap
Removes the arc v (vanted).
removeArcWeight() - Method in class vanted.attribute.ArcWeightAttribute
Removes the arc-weight.
removeArcWeight() - Method in class vanted.petrinetelements.AbstractArc
Removes the object ArcWeight which contains an object with the arc-weight and the ArcWeightAttribute.
removeAttributeListener(AttributeChanged) - Method in class vanted.gui.AbstractGUIComp
 
removeCapacity() - Method in class vanted.attribute.CapacityAttribute
Removes the capacity and all other attributes: name, position, color and size.
removeCapacity() - Method in class vanted.petrinetelements.Place
Removes the capacity of a place (if the place is a logical place then the capacities of the associated places are also removed).
removeDraw() - Method in class vanted.attribute.DrawingEdgeAttribute
Removes the draw.
removeDraw() - Method in class vanted.attribute.DrawingNodeAttribute
Removes the draw.
removeDraw() - Method in class vanted.petrinetelements.AbstractArc
Removes the object DrawingEdge which contains a String with a label and the DrawingEdgeAttribute.
removeDraw() - Method in class vanted.petrinetelements.NodePN
Removes the object DrawingNode which contains a double with its marking or -1 for omega (coverbilityGraph) or a constant (check for Petri net drawing) and the DrawingNodeAttribute.
removeElements(Place) - Method in class vanted.gui.AbstractGUIComp
 
removeElements(Transition) - Method in class vanted.gui.AbstractGUIComp
 
removeElements(AbstractArc) - Method in class vanted.gui.AbstractGUIComp
 
removeElements(Place) - Method in class vanted.gui.GUICompArcWeight
 
removeElements(Transition) - Method in class vanted.gui.GUICompArcWeight
 
removeElements(AbstractArc) - Method in class vanted.gui.GUICompArcWeight
 
removeElements(Place) - Method in class vanted.gui.GUICompContinuousToken
 
removeElements(Transition) - Method in class vanted.gui.GUICompContinuousToken
 
removeElements(AbstractArc) - Method in class vanted.gui.GUICompContinuousToken
 
removeElements(Place) - Method in class vanted.gui.GUICompDiscreteToken
 
removeElements(Transition) - Method in class vanted.gui.GUICompDiscreteToken
 
removeElements(AbstractArc) - Method in class vanted.gui.GUICompDiscreteToken
 
removeElements(Place) - Method in class vanted.gui.GUICompPlaceCapacity
 
removeElements(Transition) - Method in class vanted.gui.GUICompPlaceCapacity
 
removeElements(AbstractArc) - Method in class vanted.gui.GUICompPlaceCapacity
 
removeExpression(Expression) - Method in class vanted.attribute.cpn.expression.ExpressionAttribute
Removes the expression.
removeExpression(Expression) - Method in class vanted.petrinetelements.AbstractArc
Removes the expression.
removeGuard(Guard) - Method in class vanted.attribute.cpn.guard.GuardArcAttribute
Removes the guard.
removeGuard(Guard) - Method in class vanted.attribute.cpn.guard.GuardAttribute
Removes the guard.
removeGuard(Guard) - Method in class vanted.petrinetelements.InArc
Removes the guard from the ingoing arc.
removeGuard(Guard) - Method in class vanted.petrinetelements.Transition
Removes the guard of the transition.
removeHideArcWeight() - Method in class vanted.attribute.HideArcWeightAttribute
Removes the hide arc-weight.
removeHideArcWeight() - Method in class vanted.petrinetelements.PetriNet
Removes the object HideArcWeight which contains true (hiding all arc weights), or false and the HideArcWeightAttribute.
removeHideCapacity() - Method in class vanted.attribute.HideCapacityAttribute
Removes the hide capacity.
removeHideCapacity() - Method in class vanted.petrinetelements.PetriNet
Removes the object HideCapacity which contains true (hiding all capacities), or false and the HideCapacityAttribute.
removeHideLabel() - Method in class vanted.attribute.HideLabelAttribute
Removes the hide label.
removeHideLabel() - Method in class vanted.petrinetelements.PetriNet
Removes the object HideLabel which contains true (hiding all node label), or false and the HideLabelAttribute.
removeHideToken() - Method in class vanted.attribute.HideTokenAttribute
Removes the hide token.
removeHideToken() - Method in class vanted.petrinetelements.PetriNet
Removes the object HideToken which contains true (hiding all tokens), or false and the HideTokenAttribute.
removeIdentity() - Method in class vanted.attribute.IdentityAttribute
Removes the identity.
removeIdentity() - Method in class vanted.petrinetelements.NodePN
Removes the object Identity which contains a random value for linking between nodes (Petri net) and edges (reachability graph) and the IdentityAttribute.
removeIgnoreNode() - Method in class vanted.attribute.IgnoreNodeAttribute
Removes the ignore node.
removeIgnoreNode() - Method in class vanted.petrinetelements.NodePN
Removes the object IgnoreNode which contains true (hiding the node), or false and the IgnoreNodeAttribute.
removeListener(SimulatorListener) - Method in class simulation.Simulator
Removes the listener.
removeNode(Node) - Method in class vanted.petrinetelements.NodePN
Removes the node and the attributes: Draw, IgnoreNode and Reachability.
removeNode(NodePN) - Method in class vanted.petrinetelements.PetriNet
Removes this node.
removeNode(Node) - Method in class vanted.petrinetelements.Place
 
removePlaceR(Place) - Method in class petri_jfern.PlaceMap
Removes the place r (vanted, rakiura).
removePlaceV(Place) - Method in class petri_jfern.PlaceMap
Removes the place v (vanted, rakiura).
removeReachability() - Method in class vanted.petrinetelements.NodePN
Removes the object Reachability which contains a String with its marking and the ReachabilityAttribute.
removeState() - Method in class vanted.attribute.ReachabilityAttribute
Removes the state.
removeToken(AbstractToken) - Method in class vanted.attribute.token.AbstractTokenAttribute
Removes the token.
removeToken(AbstractToken) - Method in class vanted.petrinetelements.Place
Removes the token of a place (if the place is a logical place then this token of the associated places is also removed).
removeTransitionR(Transition) - Method in class petri_jfern.TransitionMap
Removes the transition r (vanted, rakiura).
removeTransitionV(Transition) - Method in class petri_jfern.TransitionMap
Removes the transition v (vanted, rakiura).
round(double) - Static method in class vanted.attribute.token.TokenAttributeContinuous
Rounds a double value.
run() - Method in class petri_jfern.PNJFern
 
run(int) - Method in class petri_jfern.PNJFern
 
run() - Method in class vanted.petrinetelements.PetriNet
Run infinity.
run(int) - Method in class vanted.petrinetelements.PetriNet
Run with ... steps.
run() - Method in interface vanted.petrinetelements.PetriNetListener
Run.
run(int) - Method in interface vanted.petrinetelements.PetriNetListener
Run.
runSimulation(BackgroundTaskStatusProviderSupportingExternalCallImpl) - Method in class simulation.Simulator
Runs the simulation for the defined steps and paused the simulation for the defined sleep time.

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