|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.processmining.converting.epc2transitionsystem.EpcToTransitionSystem
public class EpcToTransitionSystem
Title:
Description:
Copyright: Copyright (c) 2006
Company:
Constructor Summary | |
---|---|
EpcToTransitionSystem()
|
Method Summary | |
---|---|
boolean |
accepts(ProvidedObject original)
This function tells the interface which results are accepted by this Plugin |
java.lang.String |
checkSoundness(TransitionSystem TS,
ConfigurableEPC Epc)
|
MiningResult |
convert(ProvidedObject original)
Execute this conversion algorithm on the given log file. |
java.lang.String |
getHtmlDescription()
Gets a description of this plugin in HTML. |
java.lang.String |
getName()
Gets the name of this plugin. |
java.util.Vector |
getPositiveArcs(java.lang.String MarkingLabel)
|
java.util.ArrayList<EPCMarking> |
getStartMarkings(ConfigurableEPC Epc)
|
ModelGraphResult |
getTransitionSystem(ConfigurableEPC Epc)
|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public EpcToTransitionSystem()
Method Detail |
---|
public java.lang.String getName()
Plugin
getName
in interface Plugin
public java.lang.String getHtmlDescription()
Plugin
html
, head
and
body
tags should not be used.
This HTML page is displayed in the help system or as context sensitive help.
The HTML body can be stored in an external file in the /lib/documentation/ sub
folder and in this case it can be obtained by calling PluginDocumentationLoader.load(this)
getHtmlDescription
in interface Plugin
public boolean accepts(ProvidedObject original)
ConvertingPlugin
accepts
in interface ConvertingPlugin
original
- The original mining result
public MiningResult convert(ProvidedObject original)
ConvertingPlugin
convert
in interface ConvertingPlugin
original
- The original mining result
MininResult
objectpublic ModelGraphResult getTransitionSystem(ConfigurableEPC Epc)
public java.util.ArrayList<EPCMarking> getStartMarkings(ConfigurableEPC Epc)
public java.lang.String checkSoundness(TransitionSystem TS, ConfigurableEPC Epc)
public java.util.Vector getPositiveArcs(java.lang.String MarkingLabel)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |