conexp.fx.core.algorithm.exploration

Class ExpertPool<G,M>

java.lang.Object

conexp.fx.core.algorithm.exploration.ExpertPool<G,M>

All Implemented Interfaces:

Expert<G,M>

public class ExpertPool<G,M>
extends Object
implements Expert<G,M>

Constructor Summary

Constructors

Constructor and Description
ExpertPool(conexp.fx.core.algorithm.exploration.ExpertPool.Strategy strategy, ExecutorService executor)

Method Summary

Modifier and Type	Method and Description
void	add(Expert<G,M>... experts)
void	add(Iterable<Expert<G,M>> experts)
boolean	allIdle()
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.
Expert<G,M>	getIdleExpert()
conexp.fx.core.algorithm.exploration.ExpertPool.Strategy	getStrategy()
boolean	isIdle(Expert<G,M> expert)
void	remove(Expert<G,M>... experts)
void	remove(Iterable<Expert<G,M>> experts)
void	setBusy(Expert<G,M> expert)
void	setIdle(Expert<G,M> expert)
boolean	someIdle()

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

ExpertPool

public ExpertPool(conexp.fx.core.algorithm.exploration.ExpertPool.Strategy strategy,
                  ExecutorService executor)

Method Detail

getCounterExamples

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

Returns:

Throws:

InterruptedException

add

@SafeVarargs
public final void add(Expert<G,M>... experts)

add

public final void add(Iterable<Expert<G,M>> experts)

remove

@SafeVarargs
public final void remove(Expert<G,M>... experts)

remove

public final void remove(Iterable<Expert<G,M>> experts)

isIdle

public final boolean isIdle(Expert<G,M> expert)

allIdle

public final boolean allIdle()

someIdle

public final boolean someIdle()

setBusy

public final void setBusy(Expert<G,M> expert)

setIdle

public final void setIdle(Expert<G,M> expert)

getIdleExpert

public final Expert<G,M> getIdleExpert()
                                throws NoSuchElementException

Throws:

NoSuchElementException

getStrategy

public final conexp.fx.core.algorithm.exploration.ExpertPool.Strategy getStrategy()