conexp.fx.gui.exploration

Class CounterExampleDialog

java.lang.Object

conexp.fx.gui.dialog.FXDialog<CounterExample<String,String>>

conexp.fx.gui.exploration.CounterExampleDialog

public class CounterExampleDialog
extends FXDialog<CounterExample<String,String>>

Nested Class Summary

Nested classes/interfaces inherited from class conexp.fx.gui.dialog.FXDialog

FXDialog.Answer, FXDialog.Return<T>, FXDialog.Style

Field Summary

Fields inherited from class conexp.fx.gui.dialog.FXDialog

pane, value

Constructor Summary

Constructors

Constructor and Description
CounterExampleDialog(MatrixContext<String,String> context, Implication<String,String> implication)

Method Summary

Methods inherited from class conexp.fx.gui.dialog.FXDialog

setCenterNode, showAndWait

Methods inherited from class java.lang.Object

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

Constructor Detail

CounterExampleDialog

public CounterExampleDialog(MatrixContext<String,String> context,
                            Implication<String,String> implication)