Uses of Class
pipe.dataLayer.calculations.StateList

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)