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

C

calculateLabelPositionForNode(double, double, String, GraphElement, GraphElementShape, Point, NodeLabelPositionAttribute) - Static method in class vanted.attribute.LabelComponentHelper
 
Capacity - Class in vanted.petrinetelements
The Class Capacity for capacity handling.
Capacity(Object) - Constructor for class vanted.petrinetelements.Capacity
Instantiates a new capacity.
CAPACITY_MAX_VALUE - Static variable in class vanted.petrinetelements.PetriNet
The capacity maximum value.
CapacityAttribute - Class in vanted.attribute
The Class CapacityAttribute handles the capacity attribute.
CapacityAttribute() - Constructor for class vanted.attribute.CapacityAttribute
Instantiates a new capacity attribute.
CapacityAttribute(String) - Constructor for class vanted.attribute.CapacityAttribute
Instantiates a new capacity attribute.
CapacityAttribute(String, String) - Constructor for class vanted.attribute.CapacityAttribute
Instantiates a new capacity attribute.
CapacityAttributeComponent - Class in vanted.attribute
The Class CapacityAttributeComponent visualizes the capacity.
CapacityAttributeComponent() - Constructor for class vanted.attribute.CapacityAttributeComponent
 
CapacityAttributeEditor - Class in vanted.attribute
The Class CapacityAttributeEditor another way to change the capacity in the VANTED gui.
CapacityAttributeEditor(Displayable) - Constructor for class vanted.attribute.CapacityAttributeEditor
Instantiates a new capacity attribute editor.
changeExpressionValue(Expression, Object) - Method in class vanted.attribute.cpn.expression.ExpressionAttribute
Changes the expression value.
changeGuardValue(Guard, Object) - Method in class vanted.attribute.cpn.guard.GuardArcAttribute
Changes the guard value.
changeGuardValue(Guard, Object) - Method in class vanted.attribute.cpn.guard.GuardAttribute
Change guard value.
changeTokenValue(AbstractToken, double) - Method in class vanted.attribute.token.TokenAttributeContinuous
Changes token value.
changeValue() - Method in class vanted.gui.AbstractGUIComp
 
changeValue() - Method in class vanted.gui.GUICompArcWeight
 
changeValue() - Method in class vanted.gui.GUICompContinuousToken
 
changeValue() - Method in class vanted.gui.GUICompDiscreteToken
 
changeValue() - Method in class vanted.gui.GUICompPlaceCapacity
 
check() - Method in class vanted.attribute.cpn.expression.AddExpressionsToArc
 
check() - Method in class vanted.attribute.cpn.guard.AddGuardsToArc
 
check() - Method in class vanted.attribute.cpn.guard.AddGuardsToTransition
 
check(NodeShape) - Method in interface vanted.gui.button.IPNButtonListener
Check.
check(NodeShape) - Method in class vanted.gui.button.PNButton
 
Check - Class in vanted.petrinetelements.misc
The Class Check proofs if the Petri net structure.
Check() - Constructor for class vanted.petrinetelements.misc.Check
 
clearTokens() - Method in class vanted.petrinetelements.Place
Clears all tokens (discrete, continuous) of a place (if the place is a logical place then all tokens of the associated places are also cleared).
colorAttributeName - Static variable in class vanted.attribute.ArcWeightAttribute
The Constant colorAttributeName.
colorAttributeName - Static variable in class vanted.attribute.CapacityAttribute
The Constant colorAttributeName.
colorAttributeName - Static variable in class vanted.attribute.token.TokenAttributeContinuous
The Constant colorAttributeName.
colorAttributeName - Static variable in class vanted.attribute.token.TokenAttributeDiscrete
The Constant colorAttributeName.
colorEnabledTransitions(boolean) - Method in class petri_jfern.PNJFern
 
colorEnabledTransitions(boolean) - Method in interface vanted.petrinetelements.Library
Color enabled transitions.
contains(Object) - Method in class vanted.petrinetelements.PlaceList
 
contains(Node) - Method in class vanted.validation.MyNodes
Checks if MyNodes contains this node.
contains(Node, Node) - Method in class vanted.validation.MyNodes
Checks if MyNodes contains this source and target node.
contains(Node) - Method in class vanted.validation.MyNodesArray
Checks if this array of nodes contains this node.
contains(Node, Node) - Method in class vanted.validation.MyNodesArray
Checks if this array of nodes contains this source and target node.
containsKeyR(AbstractArc) - Method in class petri_jfern.ArcMap
Contains key r.
containsKeyR(Place) - Method in class petri_jfern.PlaceMap
Contains key r.
containsKeyR(Transition) - Method in class petri_jfern.TransitionMap
Contains key r.
containsKeyV(AbstractArc) - Method in class petri_jfern.ArcMap
Contains key v.
containsKeyV(Place) - Method in class petri_jfern.PlaceMap
Contains key v.
containsKeyV(Transition) - Method in class petri_jfern.TransitionMap
Contains key v.
createArc(Element) - Method in class pnml.loader.AbstractPetriNetParser
 
createArc(Element) - Method in class pnml.loader.PetriNetParserContinuous
 
createArc(Element) - Method in class pnml.loader.PetriNetParserDiscrete
 
createArcElement(AbstractArc, Document) - Method in class pnml.writer.AbstractPNMLParser
Creates a Arc Element for a PNML Petri-Net DOM
createArcElement(AbstractArc, Document) - Method in class pnml.writer.PNMLParserContinuous
 
createArcElement(AbstractArc, Document) - Method in class pnml.writer.PNMLParserDiscrete
 
createGraph(NodeList) - Method in class pnml.loader.AbstractPetriNetParser
 
createLibI(PetriNet) - Method in class petri_jfern.PNJFern
Creates the library.
createNodeAttr(Node, Element, String) - Method in class pnml.loader.AbstractPetriNetParser
 
createNodeAttr(Node, Element) - Method in class pnml.writer.AbstractPNMLParser
 
createPetriNet(Graph, boolean) - Method in class vanted.petrinetelements.PetriNet
Creates the Petri net if it is correct.
createPlace(Element) - Method in class pnml.loader.AbstractPetriNetParser
 
createPlace(Element) - Method in class pnml.loader.PetriNetParserContinuous
 
createPlace(Element) - Method in class pnml.loader.PetriNetParserDiscrete
 
createPlaceElement(Place, Document) - Method in class pnml.writer.AbstractPNMLParser
Creates a Place Element for a PNML Petri-Net DOM
createPlaceElement(Place, Document) - Method in class pnml.writer.PNMLParserContinuous
 
createPlaceElement(Place, Document) - Method in class pnml.writer.PNMLParserDiscrete
 
createPNML(PetriNet, OutputStream) - Method in class pnml.writer.AbstractPNMLParser
 
createPNML(OutputStream) - Method in class pnml.writer.PNMLBuilder
 
createRandomReversibleTransitions(List<Transition>) - Method in class vanted.petrinetelements.PetriNet
Returns one random transition of the pair of reversible transitions.
createSimulator(Net, PetriNet) - Method in class simulation.Simulator
Creates the simulator.
createTableComponent(List<HashMap<NodePN, Double>>, String) - Method in class vanted.gui.InvariantTableComponent
Creates the table component for the p- and t-invariant.
createTransition(Element) - Method in class pnml.loader.AbstractPetriNetParser
 
createTransition(Element) - Method in class pnml.loader.PetriNetParserContinuous
 
createTransition(Element) - Method in class pnml.loader.PetriNetParserDiscrete
 
createTransitionElement(Transition, Document) - Method in class pnml.writer.AbstractPNMLParser
Creates a Transition Element for a PNML Petri-Net DOM
createTransitionElement(Transition, Document) - Method in class pnml.writer.PNMLParserContinuous
 
createTransitionElement(Transition, Document) - Method in class pnml.writer.PNMLParserDiscrete
 

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