|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
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)
|
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |