org.processmining.plugins.ltlchecker

Class CheckVisualizer

java.lang.Object

org.processmining.plugins.ltlchecker.CheckVisualizer

public class CheckVisualizer
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
CheckVisualizer()

Method Summary

Modifier and Type	Method and Description
javax.swing.JComponent	visualize(org.processmining.framework.plugin.PluginContext context, javax.swing.JComponent frame)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

CheckVisualizer

public CheckVisualizer()

Method Detail

visualize

public javax.swing.JComponent visualize(org.processmining.framework.plugin.PluginContext context,
                                        javax.swing.JComponent frame)