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

T

ThreadSafeClass - Class in vanted
The Class ThreadSafeClass.
ThreadSafeClass() - Constructor for class vanted.ThreadSafeClass
 
TokenAttributeContinuous - Class in vanted.attribute.token
The Class TokenAttributeContinuous handles a continuous token attribute.
TokenAttributeContinuous() - Constructor for class vanted.attribute.token.TokenAttributeContinuous
Instantiates a new token attribute continuous.
TokenAttributeContinuous(String) - Constructor for class vanted.attribute.token.TokenAttributeContinuous
Instantiates a new token attribute continuous.
TokenAttributeContinuous(String, String) - Constructor for class vanted.attribute.token.TokenAttributeContinuous
Instantiates a new token attribute continuous.
TokenAttributeContinuousComponent - Class in vanted.attribute.token
The Class TokenAttributeContinuousComponent visualizes the continuous token.
TokenAttributeContinuousComponent() - Constructor for class vanted.attribute.token.TokenAttributeContinuousComponent
 
TokenAttributeContinuousEditor - Class in vanted.attribute.token
The Class TokenAttributeContinuousEditor another way to change the number of continuous tokens in the VANTED gui.
TokenAttributeContinuousEditor(Displayable) - Constructor for class vanted.attribute.token.TokenAttributeContinuousEditor
Instantiates a new token attribute continuous editor.
TokenAttributeDiscrete - Class in vanted.attribute.token
The Class TokenAttributeDiscrete handles a discrete token attribute.
TokenAttributeDiscrete() - Constructor for class vanted.attribute.token.TokenAttributeDiscrete
Instantiates a new token attribute discrete.
TokenAttributeDiscrete(String) - Constructor for class vanted.attribute.token.TokenAttributeDiscrete
Instantiates a new token attribute discrete.
TokenAttributeDiscrete(String, String) - Constructor for class vanted.attribute.token.TokenAttributeDiscrete
Instantiates a new token attribute discrete.
TokenAttributeDiscreteComponent - Class in vanted.attribute.token
The Class TokenAttributeDiscreteComponent visualizes the discrete token.
TokenAttributeDiscreteComponent() - Constructor for class vanted.attribute.token.TokenAttributeDiscreteComponent
 
TokenAttributeDiscreteEditorAll - Class in vanted.attribute.token
The Class TokenAttributeDiscreteEditorAll another way to change the number of discrete tokens in the VANTED gui.
TokenAttributeDiscreteEditorAll(Displayable) - Constructor for class vanted.attribute.token.TokenAttributeDiscreteEditorAll
Instantiates a new token attribute discrete editor all.
TokenAttributeDiscreteEditorOne - Class in vanted.attribute.token
The Class TokenAttributeDiscreteEditorOne another way to change the number of one discrete token in the VANTED gui.
TokenAttributeDiscreteEditorOne(TokenDiscrete) - Constructor for class vanted.attribute.token.TokenAttributeDiscreteEditorOne
Instantiates a new token attribute discrete editor one.
TokenContinuous - Class in vanted.petrinetelements
The Class TokenContinuous for continuous token handling.
TokenContinuous(double) - Constructor for class vanted.petrinetelements.TokenContinuous
Instantiates a new token continuous.
TokenDiscrete - Class in vanted.petrinetelements
The Class TokenDiscrete for discrete token handling.
TokenDiscrete(int) - Constructor for class vanted.petrinetelements.TokenDiscrete
Instantiates a new token discrete.
TokenObject - Class in vanted.petrinetelements.cpn
The Class TokenObject for token handling.
TokenObject(Object) - Constructor for class vanted.petrinetelements.cpn.TokenObject
Instantiates a new token object.
toString() - Method in class vanted.analysis.Reachability
 
toString() - Method in class vanted.petrinetelements.AbstractToken
 
toString() - Method in class vanted.petrinetelements.ArcWeight
 
toString() - Method in class vanted.petrinetelements.Capacity
 
toString() - Method in class vanted.petrinetelements.cpn.Action
 
toString() - Method in class vanted.petrinetelements.cpn.Expression
 
toString() - Method in class vanted.petrinetelements.cpn.Guard
 
toString() - Method in class vanted.petrinetelements.misc.DrawingEdge
 
toString() - Method in class vanted.petrinetelements.misc.DrawingNode
 
toString() - Method in class vanted.petrinetelements.misc.HideArcWeight
 
toString() - Method in class vanted.petrinetelements.misc.HideCapacity
 
toString() - Method in class vanted.petrinetelements.misc.HideLabel
 
toString() - Method in class vanted.petrinetelements.misc.HideToken
 
toString() - Method in class vanted.petrinetelements.misc.Identity
 
toString() - Method in class vanted.petrinetelements.misc.IgnoreNode
 
toString() - Method in class vanted.petrinetelements.NodePN
 
transactionFinished(TransactionEvent, BackgroundTaskStatusProviderSupportingExternalCall) - Method in class vanted.gui.ReconstructionGUI
 
transactionStarted(TransactionEvent) - Method in class vanted.gui.ReconstructionGUI
 
transformPNML(InputStream) - Method in class pnml.loader.PNMLTransformer
Transform a PNML file into a Document
Transition - Class in vanted.petrinetelements
The Class Transition for transition handling.
Transition(Node) - Constructor for class vanted.petrinetelements.Transition
Instantiates a new transition.
Transition(Transition) - Constructor for class vanted.petrinetelements.Transition
Instantiates a new reversible transition.
TRANSITION_RULE - Static variable in class vanted.petrinetelements.PetriNet
The transition rule.
TransitionListener - Interface in vanted.petrinetelements
The listener interface for receiving transition events.
TransitionMap - Class in petri_jfern
The Class TransitionMap is a helper class to combine the VANTED transitions and the rakiura transitions.
TransitionMap() - Constructor for class petri_jfern.TransitionMap
 
TransitionRule - Enum in vanted.petrinetelements
The Enum TransitionRule.
Translation - Class in petri_jfern
The Class Translation translates a graph into a Petri net.
Translation(Graph) - Constructor for class petri_jfern.Translation
Instantiates a new translation.

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