conexp.fx.core.algorithm.exploration

Interface Expert<G,M>

All Known Implementing Classes:

ExpertPool, HumanExpert, HumanExpertP

Functional Interface:

This is a functional interface and can therefore be used as the assignment target for a lambda expression or method reference.

@FunctionalInterface
public interface Expert<G,M>

Method Summary

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

Method Detail

getCounterExamples

Set<CounterExample<G,M>> getCounterExamples(Implication<G,M> implication)
                                     throws InterruptedException

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

Parameters:

impl -

Returns:

Throws:

InterruptedException

requestCounterExamples

default Future<Set<CounterExample<G,M>>> requestCounterExamples(Implication<G,M> implication)