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

S

selectionChanged(SelectionEvent) - Method in class vanted.gui.PetriNetAttributeGUI
 
selectionChanged(SelectionEvent) - Method in class vanted.gui.ReconstructionGUI
 
selectionListChanged(SelectionEvent) - Method in class vanted.gui.PetriNetAttributeGUI
 
selectionListChanged(SelectionEvent) - Method in class vanted.gui.ReconstructionGUI
 
selfLoop(Graph) - Static method in class vanted.GraphHelper
Self loop.
seperator - Static variable in class vanted.attribute.cpn.expression.ExpressionAttribute
The Constant seperator.
seperator - Static variable in class vanted.attribute.cpn.guard.GuardArcAttribute
The Constant seperator.
seperator - Static variable in class vanted.attribute.cpn.guard.GuardAttribute
The Constant separator.
seperator - Static variable in class vanted.attribute.ReachabilityAttribute
The Constant seperator.
seperator - Static variable in class vanted.attribute.token.AbstractTokenAttribute
The Constant seperator.
seperator - Static variable in class vanted.gui.AnalysisGUI
The Constant seperator.
sessionChanged(Session) - Method in class vanted.addon.PetriAddonTab
 
sessionChanged(Session) - Method in class vanted.gui.AnalysisGUI
 
sessionClosed(Session) - Method in class vanted.gui.AnalysisGUI
 
sessionDataChanged(Session) - Method in class vanted.addon.PetriAddonTab
 
sessionDataChanged(Session) - Method in class vanted.gui.AnalysisGUI
 
setChangeBtn(JButton) - Method in class vanted.gui.AbstractGUIComp
 
setDecimal(String) - Method in class vanted.gui.button.JSpinnerDouble
Sets the decimal.
setDefaultValue() - Method in class vanted.attribute.token.AbstractTokenAttribute
 
setDisplayable(Displayable) - Method in class vanted.attribute.AbstractAttributeEditor
Sets the displayable.
setEdge(Edge) - Method in class vanted.petrinetelements.AbstractArc
Sets the edge.
setEditFieldValue() - Method in class vanted.attribute.ArcWeightAttributeEditor
 
setEditFieldValue() - Method in class vanted.attribute.CapacityAttributeEditor
 
setEditFieldValue() - Method in class vanted.attribute.cpn.expression.ExpressionArcAttributeEditor
 
setEditFieldValue() - Method in class vanted.attribute.cpn.guard.GuardArcAttributeEditor
 
setEditFieldValue() - Method in class vanted.attribute.cpn.guard.GuardAttributeEditor
 
setEditFieldValue() - Method in class vanted.attribute.token.TokenAttributeContinuousEditor
 
setEditFieldValue() - Method in class vanted.attribute.token.TokenAttributeDiscreteEditorAll
 
setEditFieldValue() - Method in class vanted.attribute.token.TokenAttributeDiscreteEditorOne
 
setEnabled(boolean) - Method in class vanted.gui.AbstractGUIComp
 
setEnabledTransitionColor(Color) - Method in class petri_jfern.PNJFern
 
setEnabledTransitionColor(Color) - Method in interface vanted.petrinetelements.Library
Sets the enabled transition color.
setIdentity(Identity) - Method in class vanted.attribute.IdentityAttribute
Sets the identity.
setInArcs(List<InArc>) - Method in class vanted.petrinetelements.Place
Sets the in arcs of a place.
setInArcs(List<InArc>) - Method in class vanted.petrinetelements.Transition
Sets the in arcs of the transition.
setObj(Object) - Method in class vanted.ThreadSafeClass
Sets the object.
setOutArcs(List<OutArc>) - Method in class vanted.petrinetelements.Place
Sets the out arcs of a place.
setOutArcs(List<OutArc>) - Method in class vanted.petrinetelements.Transition
Sets the out arcs of the transition.
setParameters(Parameter[]) - Method in class vanted.attribute.cpn.expression.AddExpressionsToArc
 
setParameters(Parameter[]) - Method in class vanted.attribute.cpn.guard.AddGuardsToArc
 
setParameters(Parameter[]) - Method in class vanted.attribute.cpn.guard.AddGuardsToTransition
 
setPlace(Place) - Method in class vanted.petrinetelements.AbstractArc
Sets the place.
setRemoveBtn(JButton) - Method in class vanted.gui.AbstractGUIComp
 
setReversibleTransition(Transition) - Method in class vanted.petrinetelements.Transition
Sets a reversible transition.
setRevTransition(boolean) - Method in class vanted.petrinetelements.Transition
 
setShift(Point) - Method in class vanted.attribute.ArcWeightAttributeComponent
 
setShift(Point) - Method in class vanted.attribute.CapacityAttributeComponent
 
setShift(Point) - Method in class vanted.attribute.cpn.expression.ExpressionAttributeComponent
 
setShift(Point) - Method in class vanted.attribute.DrawAttributeComponent
 
setShift(Point) - Method in class vanted.attribute.token.TokenAttributeContinuousComponent
 
setShift(Point) - Method in class vanted.attribute.token.TokenAttributeDiscreteComponent
 
setShowEmpty(boolean) - Method in class vanted.attribute.AbstractAttributeEditor
 
setShowEmpty(boolean) - Method in class vanted.attribute.token.TokenAttributeDiscreteEditorOne
 
setSleepTime(int) - Method in class simulation.Simulator
Sets the sleep time.
setSpinner(JSpinnerDouble) - Method in class vanted.gui.AbstractGUIComp
 
setSteps(int) - Method in class simulation.Simulator
Sets the steps. 0 = infinity steps
setString(String) - Method in class vanted.attribute.ArcWeightAttribute
 
setString(String) - Method in class vanted.attribute.CapacityAttribute
 
setString(String) - Method in class vanted.attribute.cpn.expression.ExpressionAttribute
 
setString(String) - Method in class vanted.attribute.cpn.guard.GuardArcAttribute
 
setString(String) - Method in class vanted.attribute.cpn.guard.GuardAttribute
 
setString(String) - Method in class vanted.attribute.DrawingEdgeAttribute
 
setString(String) - Method in class vanted.attribute.DrawingNodeAttribute
 
setString(String) - Method in class vanted.attribute.HideArcWeightAttribute
 
setString(String) - Method in class vanted.attribute.HideCapacityAttribute
 
setString(String) - Method in class vanted.attribute.HideLabelAttribute
 
setString(String) - Method in class vanted.attribute.HideTokenAttribute
 
setString(String) - Method in class vanted.attribute.IdentityAttribute
 
setString(String) - Method in class vanted.attribute.IgnoreNodeAttribute
 
setString(String) - Method in class vanted.attribute.ReachabilityAttribute
 
setString(String) - Method in class vanted.attribute.token.AbstractTokenAttribute
 
setTransition(Transition) - Method in class vanted.petrinetelements.AbstractArc
Sets the transition.
setValue(String) - Method in class vanted.analysis.Reachability
Sets the reachability value.
setValue() - Method in class vanted.attribute.ArcWeightAttributeEditor
 
setValue() - Method in class vanted.attribute.CapacityAttributeEditor
 
setValue() - Method in class vanted.attribute.cpn.expression.ExpressionArcAttributeEditor
 
setValue() - Method in class vanted.attribute.cpn.guard.GuardArcAttributeEditor
 
setValue() - Method in class vanted.attribute.cpn.guard.GuardAttributeEditor
 
setValue() - Method in class vanted.attribute.token.TokenAttributeContinuousEditor
 
setValue() - Method in class vanted.attribute.token.TokenAttributeDiscreteEditorAll
 
setValue() - Method in class vanted.attribute.token.TokenAttributeDiscreteEditorOne
 
setValue(Object) - Method in class vanted.petrinetelements.AbstractToken
Sets the value.
setValue(Object) - Method in class vanted.petrinetelements.ArcWeight
Sets the value.
setValue(Object) - Method in class vanted.petrinetelements.Capacity
Sets the value.
setValue(Object) - Method in class vanted.petrinetelements.cpn.Action
Sets the value.
setValue(Object) - Method in class vanted.petrinetelements.cpn.Expression
Sets the value.
setValue(Object) - Method in class vanted.petrinetelements.cpn.Guard
Sets the value.
setValue(String) - Method in class vanted.petrinetelements.misc.DrawingEdge
Sets the value.
setValue(double) - Method in class vanted.petrinetelements.misc.DrawingNode
Sets the value.
setValue(boolean) - Method in class vanted.petrinetelements.misc.HideArcWeight
Sets the value.
setValue(boolean) - Method in class vanted.petrinetelements.misc.HideCapacity
Sets the value.
setValue(boolean) - Method in class vanted.petrinetelements.misc.HideLabel
Sets the value.
setValue(boolean) - Method in class vanted.petrinetelements.misc.HideToken
Sets the value.
setValue(long) - Method in class vanted.petrinetelements.misc.Identity
Sets the value.
setValue(boolean) - Method in class vanted.petrinetelements.misc.IgnoreNode
Sets the value.
setValue(double) - Method in class vanted.petrinetelements.TokenContinuous
Sets the value.
setValue(int) - Method in class vanted.petrinetelements.TokenDiscrete
Sets the value.
showAttr(PetriNetType, Object) - Method in class vanted.gui.AbstractGUIComp
 
showAttr(PetriNetType, Object) - Method in class vanted.gui.GUICompArcWeight
 
showAttr(PetriNetType, Object) - Method in class vanted.gui.GUICompContinuousToken
 
showAttr(PetriNetType, Object) - Method in class vanted.gui.GUICompDiscreteToken
 
showAttr(PetriNetType, Object) - Method in class vanted.gui.GUICompPlaceCapacity
 
showTokenFlow(boolean) - Method in class petri_jfern.PNJFern
 
showTokenFlow(boolean) - Method in interface vanted.petrinetelements.Library
Show token flow.
simulation - package simulation
 
SimulationGUI - Class in vanted.gui
The Class SimulationGUI creates the whole simulation tab.
SimulationGUI() - Constructor for class vanted.gui.SimulationGUI
Instantiates a new simulation gui.
Simulator - Class in simulation
The Class Simulator controls the simulation.
Simulator() - Constructor for class simulation.Simulator
Instantiates a new simulator.
SimulatorListener - Interface in simulation
The listener interface for receiving simulator events.
sizeAttributeName - Static variable in class vanted.attribute.ArcWeightAttribute
The Constant sizeAttributeName.
sizeAttributeName - Static variable in class vanted.attribute.CapacityAttribute
The Constant sizeAttributeName.
sizeAttributeName - Static variable in class vanted.attribute.token.TokenAttributeContinuous
The Constant sizeAttributeName.
sizeAttributeName - Static variable in class vanted.attribute.token.TokenAttributeDiscrete
The Constant sizeAttributeName.
start() - Method in class petri_jfern.Translation
Starts the translation.
StartVantedWithAddon - Class in vanted.addon
The Class StartVantedWithAddon.
StartVantedWithAddon() - Constructor for class vanted.addon.StartVantedWithAddon
 
stateChanged(ChangeEvent) - Method in class vanted.attribute.AbstractAttributeContinuousEditor
 
StatementAction - Enum in petri_jfern.cpn
The Enum StatementAction.
StatementExpression - Enum in petri_jfern.cpn
The Enum StatementExpression.
StatementGuard - Enum in petri_jfern.cpn
The Enum StatementGuard.
step(boolean) - Method in class petri_jfern.PNJFern
 
step(boolean) - Method in interface simulation.SimulatorListener
Step.
step(boolean) - Method in class vanted.gui.SimulationGUI
 
stop() - Method in class petri_jfern.PNJFern
 
stop() - Method in class simulation.Simulator
Stops the simulation and calls all registered listener (step(true) = last step).
stop() - Method in class vanted.petrinetelements.PetriNet
Stop both run methods.
stop() - Method in interface vanted.petrinetelements.PetriNetListener
Stop.

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