conexp.fx.gui.exploration

Class HumanExpert

java.lang.Object

conexp.fx.gui.exploration.HumanExpert

All Implemented Interfaces:

Expert<String,String>

public final class HumanExpert
extends Object
implements Expert<String,String>

Constructor Summary

Constructors

Constructor and Description
HumanExpert(MatrixContext<String,String> context)

Method Summary

Modifier and Type	Method and Description
Set<CounterExample<String,String>>	getCounterExamples(Implication<String,String> implication) Returns an empty set if the provided implication is valid, otherwise returns a set containing at least one counterexample.

Methods inherited from class java.lang.Object

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

Methods inherited from interface conexp.fx.core.algorithm.exploration.Expert

requestCounterExamples

Constructor Detail

HumanExpert

public HumanExpert(MatrixContext<String,String> context)

Method Detail

getCounterExamples

public final Set<CounterExample<String,String>> getCounterExamples(Implication<String,String> implication)
                                                            throws InterruptedException

Description copied from interface: Expert

Returns an empty set if the provided implication is valid, otherwise returns a set containing at least one counterexample.

Specified by:

getCounterExamples in interface Expert<String,String>

Returns:

Throws:

InterruptedException