public abstract static class CancellationController.View extends java.lang.Object implements IView
Modifier and Type | Field and Description |
---|---|
Signal1<org.processmining.plugins.graphviz.dot.Dot.GraphDirection> |
SignalInputDirection |
Signal1<java.util.Set<java.lang.String>> |
SignalInputErrors |
Signal1<java.lang.Double> |
SignalInputPathThreshold |
Constructor and Description |
---|
View() |
Modifier and Type | Method and Description |
---|---|
abstract void |
displayDiscovering() |
abstract void |
displayModel(com.kitfox.svg.SVGDiagram imageSC,
com.kitfox.svg.SVGDiagram imagePTnet,
boolean resetView) |
abstract void |
setErrorOptions(java.util.Set<java.lang.String> values) |
abstract void |
setInputDirection(org.processmining.plugins.graphviz.dot.Dot.GraphDirection dir) |
abstract void |
setInputErrors(java.util.Set<java.lang.String> values) |
abstract void |
setMetrics(FitnessPrecision metrics) |
abstract void |
setPathThreshold(double threshold) |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getComponent
public final Signal1<org.processmining.plugins.graphviz.dot.Dot.GraphDirection> SignalInputDirection
public final Signal1<java.lang.Double> SignalInputPathThreshold
public final Signal1<java.util.Set<java.lang.String>> SignalInputErrors
public abstract void setInputDirection(org.processmining.plugins.graphviz.dot.Dot.GraphDirection dir)
public abstract void setPathThreshold(double threshold)
public abstract void setInputErrors(java.util.Set<java.lang.String> values)
public abstract void setErrorOptions(java.util.Set<java.lang.String> values)
public abstract void displayDiscovering()
public abstract void displayModel(com.kitfox.svg.SVGDiagram imageSC, com.kitfox.svg.SVGDiagram imagePTnet, boolean resetView)
public abstract void setMetrics(FitnessPrecision metrics)