conexp.fx.gui.exploration

Class HumanExpertP<M>

java.lang.Object

conexp.fx.gui.exploration.HumanExpertP<M>

All Implemented Interfaces:

Expert<String,M>

public final class HumanExpertP<M>
extends Object
implements Expert<String,M>

Constructor Summary

Constructors

Constructor and Description
HumanExpertP(Context<String,M> cxt)

Method Summary

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

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

HumanExpertP

public HumanExpertP(Context<String,M> cxt)

Method Detail

init

public final void init()

show

public final void show()

hide

public final void hide()

getCounterExamples

public Set<CounterExample<String,M>> getCounterExamples(Implication<String,M> 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,M>

Returns:

Throws:

InterruptedException