|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use StateList | |
pipe.dataLayer.calculations | |
pipe.modules.gspn |
Uses of StateList in pipe.dataLayer.calculations |
Methods in pipe.dataLayer.calculations with parameters of type StateList | |
void |
myNode.RecursiveExpansion(StateList statespace,
boolean[] timedTrans)
This function recursively generates potential state spaces from existing state spaces (as per algorithm written by James Bloom & Clare Clark for PIPE 2003) and adds new state spaces to the StateList array supplied as a parameter. |
Constructors in pipe.dataLayer.calculations with parameters of type StateList | |
myTree(int[] tree_root,
PNMatrix plus,
PNMatrix minus,
StateList statespace,
DataLayer pnmldata)
|
Uses of StateList in pipe.modules.gspn |
Methods in pipe.modules.gspn that return StateList | |
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. |
Methods in pipe.modules.gspn with parameters of type StateList | |
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.renderProbabilities(double[][] probabilities,
StateList list1,
StateList list2)
|
private java.lang.String |
GSPN.renderLists(double[] data,
StateList list)
|
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 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 double[][] |
GSPN.probabilityMatrix(DataLayer pnmldata,
StateList list1,
StateList list2)
|
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |