Uses of Class
conexp.fx.core.algorithm.exploration.CounterExample

Packages that use CounterExample

Package	Description
conexp.fx.core.algorithm.exploration
conexp.fx.gui.exploration

Uses of CounterExample in conexp.fx.core.algorithm.exploration

Methods in conexp.fx.core.algorithm.exploration that return types with arguments of type CounterExample

Modifier and Type	Method and Description
Set<CounterExample<G,M>>	ExpertPool.getCounterExamples(Implication<G,M> implication)
Set<CounterExample<G,M>>	Expert.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>>>	Expert.requestCounterExamples(Implication<G,M> implication)

Uses of CounterExample in conexp.fx.gui.exploration

Methods in conexp.fx.gui.exploration that return types with arguments of type CounterExample

Modifier and Type	Method and Description
Set<CounterExample<String,M>>	HumanExpertP.getCounterExamples(Implication<String,M> implication)
Set<CounterExample<String,String>>	HumanExpert.getCounterExamples(Implication<String,String> implication)