Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## pipe.modules.stateSpace
Class StateSpace

    java.lang.Object
      pipe.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`

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD