pipe.modules.matrixes
Class Matrixes
java.lang.Object
pipe.modules.matrixes.Matrixes
- All Implemented Interfaces:
- Module
- public class Matrixes
- extends java.lang.Object
- implements Module
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
MODULE_NAME
private static final java.lang.String MODULE_NAME
- See Also:
- Constant Field Values
sourceFilePanel
private PetriNetChooserPanel sourceFilePanel
results
private ResultsHTMLPane results
calculateButtonClick
java.awt.event.ActionListener calculateButtonClick
- Calculate button click handler
Matrixes
public Matrixes()
run
public void run(DataLayer pnmlData)
- Specified by:
run
in interface Module
getName
public java.lang.String getName()
- Specified by:
getName
in interface Module
renderIncidenceMatrix
private java.lang.String renderIncidenceMatrix(DataLayer data,
int[][] matrix)
renderMarkingMatrices
private java.lang.String renderMarkingMatrices(DataLayer data)
renderTransitionStates
private java.lang.String renderTransitionStates(DataLayer data)