pipe.modules.stateSpace
Class StateSpace

java.lang.Object
  extended bypipe.modules.stateSpace.StateSpace
All Implemented Interfaces:
Module

public class StateSpace
extends java.lang.Object
implements Module


Field Summary
(package private)  java.awt.event.ActionListener analyseButtonClick
          Analyse button click handler
private static java.lang.String MODULE_NAME
           
private  ResultsHTMLPane results
           
private  PetriNetChooserPanel sourceFilePanel
           
 
Constructor Summary
StateSpace()
           
 
Method Summary
 java.lang.String getName()
           
 void run(DataLayer pnmlData)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

MODULE_NAME

private static final java.lang.String MODULE_NAME
See Also:
Constant Field Values

sourceFilePanel

private PetriNetChooserPanel sourceFilePanel

results

private ResultsHTMLPane results

analyseButtonClick

java.awt.event.ActionListener analyseButtonClick
Analyse button click handler

Constructor Detail

StateSpace

public StateSpace()
Method Detail

run

public void run(DataLayer pnmlData)
Specified by:
run in interface Module

getName

public java.lang.String getName()
Specified by:
getName in interface Module