Uses of Class
pipe.dataLayer.DataLayer

Packages that use DataLayer
pipe.dataLayer.calculations   
pipe.gui   
pipe.gui.widgets   
pipe.modules   
pipe.modules.classification   
pipe.modules.comparison   
pipe.modules.dnamaca   
pipe.modules.gspn   
pipe.modules.invariantAnalysis   
pipe.modules.matrixes   
pipe.modules.predatorInvariantAnalysis   
pipe.modules.simulation   
pipe.modules.stateSpace   
 

Uses of DataLayer in pipe.dataLayer.calculations
 

Constructors in pipe.dataLayer.calculations with parameters of type DataLayer
myTree(int[] tree_root, PNMatrix plus, PNMatrix minus, StateList statespace, DataLayer pnmldata)
           
 

Uses of DataLayer in pipe.gui
 

Fields in pipe.gui declared as DataLayer
private  DataLayer GuiFrame.appModel
           
 DataLayer CreateGui.TabData.appModel
           
 

Methods in pipe.gui that return DataLayer
static DataLayer CreateGui.getModel()
           
static DataLayer CreateGui.getModel(int index)
           
static DataLayer CreateGui.currentPNMLData()
          returns the current dataLayer object - used to get a reference to pass to the modules
 

Methods in pipe.gui with parameters of type DataLayer
protected  void ModuleMethod.execute(DataLayer data)
          Executes the Method that this class represents.
 

Uses of DataLayer in pipe.gui.widgets
 

Fields in pipe.gui.widgets declared as DataLayer
private  DataLayer PetriNetChooserPanel.defaultNet
           
 

Methods in pipe.gui.widgets that return DataLayer
 DataLayer PetriNetChooserPanel.getDataLayer()
           
 

Constructors in pipe.gui.widgets with parameters of type DataLayer
PetriNetChooserPanel(java.lang.String title, DataLayer defaultNet)
           
 

Uses of DataLayer in pipe.modules
 

Methods in pipe.modules with parameters of type DataLayer
 void Module.run(DataLayer pnmldata)
           
 

Uses of DataLayer in pipe.modules.classification
 

Methods in pipe.modules.classification with parameters of type DataLayer
 void Classification.run(DataLayer pnmlData)
           
protected  boolean Classification.stateMachine(DataLayer pnmlData)
          State machine detection
protected  boolean Classification.markedGraph(DataLayer pnmlData)
          Marked graph detection
protected  boolean Classification.freeChoiceNet(DataLayer pnmlData)
          Free choice net detection
protected  boolean Classification.extendedFreeChoiceNet(DataLayer pnmlData)
          Extended free choice net detection
protected  boolean Classification.simpleNet(DataLayer pnmlData)
          Simple net (SPL-net) detection
protected  boolean Classification.extendedSimpleNet(DataLayer pnmlData)
          Extended simple net (ESPL-net) detection
private  int Classification.countPlaceInputs(DataLayer pnmlData, int PlaceNo)
          Counts inputs to given place
private  int Classification.countPlaceOutputs(DataLayer pnmlData, int PlaceNo)
           
private  int Classification.countTransitionInputs(DataLayer pnmlData, int TransitionNo)
           
private  int Classification.countTransitionOutputs(DataLayer pnmlData, int TransitionNo)
          Counts outputs from given transition
private  int[] Classification.forwardsPlaceSet(DataLayer pnmlData, int PlaceNo)
           
 

Uses of DataLayer in pipe.modules.comparison
 

Methods in pipe.modules.comparison with parameters of type DataLayer
 void Comparison.run(DataLayer pnmlData)
           
 

Uses of DataLayer in pipe.modules.dnamaca
 

Fields in pipe.modules.dnamaca declared as DataLayer
private  DataLayer Dnamaca.pnmldata
           
 

Methods in pipe.modules.dnamaca with parameters of type DataLayer
 void Dnamaca.run(DataLayer _pnmldata)
           
 

Uses of DataLayer in pipe.modules.gspn
 

Methods in pipe.modules.gspn with parameters of type DataLayer
 void GSPN.run(DataLayer pnmlData)
           
private  java.lang.String GSPN.renderStateSpace(DataLayer pnmldata, StateList data)
           
private  java.lang.String GSPN.renderStateSpaceLinked(DataLayer pnmldata, StateList data)
           
private  java.lang.String GSPN.renderThroughput(DataLayer pnmldata, double[] data)
           
private  boolean GSPN.isEFCGSPN(DataLayer pnmlData)
          Qualitative analysis - see if the supplied GSPN is an EFC-GSPN.
private  StateList GSPN.getReachabilitySet(DataLayer pnmlData)
          Generate the reachability set using myTree function Add each marking to an arraylist, testing to see if the marking is already present before adding.
private  int[] GSPN.getMarking(DataLayer pnmlData)
          Get the initial marking of the supplied net
private  boolean GSPN.getTransitionEnabledStatus(DataLayer pnmlData, int[] marking, int transition)
          Caluculate whether a transition is enabled given a specific marking
private  boolean[] GSPN.getTransitionEnabledStatusArray(DataLayer pnmlData, int[] marking)
          Caluculate which transitions are enabled given a specific marking
private  boolean[] GSPN.getTangibleTransitionEnabledStatusArray(DataLayer pnmlData, int[] marking)
           
private  boolean GSPN.isTangibleState(DataLayer pnmlData, int[] marking)
          Work out if a specified marking describes a tangible state.
private  void GSPN.getVanishingAndTangible(DataLayer pnmlData, StateList reachabilitySet, StateList vanishing, StateList tangible)
          This function takes a reachability set and splits it into subsets of tangible and vanishing states
private  double[] GSPN.calcSojournTime(DataLayer pnmldata, StateList tangibleStates)
          This function determines the sojourn time for each state in a specified set of states.
private  boolean GSPN.testEqualConflict(DataLayer pnmlData)
          Test for condition Equal Conflict.
private  double GSPN.probMarkingAToMarkingB(DataLayer pnmlData, int[] marking1, int[] marking2)
          Calculate the probability of changing from one marking to another Works out the intersection of transitions enabled to fire at a particular marking, transitions that can be reached from a particular marking and the intersection of the two.
private  double GSPN.getRateForSpecificStateChange(DataLayer pnmlData, int[] marking1, int[] marking2)
           
private  double[][] GSPN.rateMatrix(DataLayer pnmlData, StateList list1, StateList list2)
           
private  double GSPN.getVanishingStateThroughput(DataLayer pnmldata, StateList list1, int transitionNumber, jama.Matrix rateForSpecificState)
           
private  double GSPN.getTransitionThroughputSPN(DataLayer pnmldata, StateList list, double[] steadyStateDistrib, int transitionNumber)
           
private  double[] GSPN.getTransitionThroughput(DataLayer pnmldata, StateList vanishing, StateList tangible, jama.Matrix rateForSpecificChange, double[] steadyStateDistribution)
           
private  double[][] GSPN.getTransitionProbabilityMatrix(DataLayer pnmlData, StateList reachabilitySet)
          Constructs a matrix of probabilities of changing from one marking to another.
private  boolean GSPN.hasTimedTransitions(DataLayer pnmldata)
          See if the supplied net has any timed transitions.
private  boolean GSPN.hasImmediateTransitions(DataLayer pnmldata)
          See if the supplied net has any timed transitions.
private  double[][] GSPN.probabilityMatrix(DataLayer pnmldata, StateList list1, StateList list2)
           
 

Uses of DataLayer in pipe.modules.invariantAnalysis
 

Methods in pipe.modules.invariantAnalysis with parameters of type DataLayer
 void InvariantAnalysis.run(DataLayer pnmlData)
          Call the methods that find the net invariants.
private  java.lang.String InvariantAnalysis.analyse(DataLayer pnmlData)
           
 

Uses of DataLayer in pipe.modules.matrixes
 

Methods in pipe.modules.matrixes with parameters of type DataLayer
 void Matrixes.run(DataLayer pnmlData)
           
private  java.lang.String Matrixes.renderIncidenceMatrix(DataLayer data, int[][] matrix)
           
private  java.lang.String Matrixes.renderMarkingMatrices(DataLayer data)
           
private  java.lang.String Matrixes.renderTransitionStates(DataLayer data)
           
 

Uses of DataLayer in pipe.modules.predatorInvariantAnalysis
 

Methods in pipe.modules.predatorInvariantAnalysis with parameters of type DataLayer
 void PredatorInvariantAnalysis.run(DataLayer dataObj)
           
 

Uses of DataLayer in pipe.modules.simulation
 

Methods in pipe.modules.simulation with parameters of type DataLayer
 void Simulation.run(DataLayer pnmlData)
           
(package private)  java.lang.String Simulation.simulate(DataLayer data, int cycles, int firings)
           
 

Uses of DataLayer in pipe.modules.stateSpace
 

Methods in pipe.modules.stateSpace with parameters of type DataLayer
 void StateSpace.run(DataLayer pnmlData)