|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Package vanted.addon |
---|
Class vanted.addon.PetriAddonTab extends org.graffiti.plugin.inspector.InspectorTab implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
ReconstructionGUI reGUI
SimulationGUI simuGUI
AnalysisGUI anaGUI
org.graffiti.graph.Graph graph
Package vanted.attribute |
---|
Class vanted.attribute.ArcWeightAttributeComponent extends org.graffiti.plugin.attributecomponent.AbstractAttributeComponent implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
java.awt.Point point
int strlength
int arcweightsize
java.awt.Color color
Class vanted.attribute.CapacityAttributeComponent extends org.graffiti.plugin.attributecomponent.AbstractAttributeComponent implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
java.awt.Point point
int strlength
int capacitysize
java.awt.Color color
java.lang.String align
Class vanted.attribute.DrawAttributeComponent extends org.graffiti.plugin.attributecomponent.AbstractAttributeComponent implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
java.awt.Point point
int strlength
int drawvaluesize
java.awt.Color color
java.lang.String align
Package vanted.attribute.cpn.expression |
---|
Class vanted.attribute.cpn.expression.ExpressionAttributeComponent extends org.graffiti.plugin.attributecomponent.AbstractAttributeComponent implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
java.awt.Point point
int expSize
java.util.List<E> expressions
Package vanted.attribute.token |
---|
Class vanted.attribute.token.TokenAttributeContinuousComponent extends org.graffiti.plugin.attributecomponent.AbstractAttributeComponent implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
java.awt.Point point
int strlength
int tokensize
java.awt.Color color
java.lang.String align
Class vanted.attribute.token.TokenAttributeDiscreteComponent extends org.graffiti.plugin.attributecomponent.AbstractAttributeComponent implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
java.awt.Point point
int strlength
int tokensize
java.awt.Color color
java.lang.String align
Package vanted.gui |
---|
Class vanted.gui.AbstractGUIComp extends javax.swing.JComponent implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
JSpinnerDouble spinner
javax.swing.JButton changeBtn
javax.swing.JButton removeBtn
org.graffiti.graph.Graph graph
PetriNet pn
java.util.List<E> listener
Class vanted.gui.AnalysisGUI extends javax.swing.JComponent implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
org.graffiti.graph.Graph graph
java.util.List<E> referencedGraphNames
javax.swing.JCheckBox hideTokenChkBox
javax.swing.JCheckBox hideCapacityChkBox
javax.swing.JCheckBox hideArcWeightChkBox
javax.swing.JCheckBox hideLabelChkBox
javax.swing.JSpinner spinnerReachability
int fontSize
Class vanted.gui.GUICompArcWeight extends AbstractGUIComp implements Serializable |
---|
serialVersionUID: 1L
Class vanted.gui.GUICompContinuousToken extends AbstractGUIComp implements Serializable |
---|
serialVersionUID: 1L
Class vanted.gui.GUICompDiscreteToken extends AbstractGUIComp implements Serializable |
---|
serialVersionUID: 1L
Class vanted.gui.GUICompPlaceCapacity extends AbstractGUIComp implements Serializable |
---|
serialVersionUID: 1L
Class vanted.gui.PetriNetAttributeGUI extends javax.swing.JComponent implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
org.graffiti.graph.Graph graph
AbstractGUIComp discreteTokenComp
AbstractGUIComp continuousTokenComp
AbstractGUIComp placeCapacityComp
AbstractGUIComp arcWeigtComp
PetriNetType type
java.lang.String emptyString
Class vanted.gui.ReconstructionGUI extends javax.swing.JComponent implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
org.graffiti.graph.Graph graph
PNButton trans
PNButton place
PetriNetAttributeGUI pnGUI
Class vanted.gui.SimulationGUI extends javax.swing.JComponent implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
org.graffiti.graph.Graph graph
boolean state
javax.swing.JButton runBtn
javax.swing.JButton stepBtn
javax.swing.JSpinner stepJS
javax.swing.JSpinner delaySP
javax.swing.JCheckBox showTokenFlow
javax.swing.JCheckBox write2File
javax.swing.JButton fireBtn
Package vanted.gui.button |
---|
Class vanted.gui.button.JSpinnerDouble extends javax.swing.JSpinner implements Serializable |
---|
serialVersionUID: 1L
Class vanted.gui.button.PNButton extends javax.swing.JButton implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
java.util.List<E> listener
NodeShape shape
Package vanted.petrinetelements |
---|
Class vanted.petrinetelements.PlaceList extends java.util.ArrayList<Place> implements Serializable |
---|
serialVersionUID: 1L
Package vanted.validation |
---|
Class vanted.validation.MyNodesArray extends java.util.ArrayList<MyNodes> implements Serializable |
---|
serialVersionUID: 1L
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |