Uses of Class
conexp.fx.core.context.Implication

Packages that use Implication

Package	Description
conexp.fx.core.algorithm.exploration
conexp.fx.core.algorithm.nextclosure
conexp.fx.core.algorithm.nextclosures
conexp.fx.core.context
conexp.fx.core.math
conexp.fx.gui.dataset
conexp.fx.gui.exploration

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

Fields in conexp.fx.core.algorithm.exploration with type parameters of type Implication

Modifier and Type	Field and Description
protected Set<Implication<G,M>>	AttributeExploration.implications

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

Modifier and Type	Method and Description
static <M> Set<Implication<String,M>>	ParallelAttributeExploration.explore(Context<String,M> cxt, Set<Implication<String,M>> backgroundKnowledge, Expert<String,M> expert, ExecutorService executor, Consumer<Implication<String,M>> implicationConsumer, Consumer<String> updateStatus, Consumer<Double> updateProgress, Supplier<Boolean> isCancelled)
static <G,M> Set<Implication<G,M>>	AttributeExploration.getCanonicalBase(MatrixContext<G,M> context)
Set<Implication<G,M>>	AttributeExploration.getImplicationalBase()

Methods in conexp.fx.core.algorithm.exploration with parameters of type Implication

Modifier and Type	Method and Description
void	CounterExample.addTo(Implication<G,M> implication)
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)

Method parameters in conexp.fx.core.algorithm.exploration with type arguments of type Implication

Modifier and Type	Method and Description
static <M> Set<Implication<String,M>>	ParallelAttributeExploration.explore(Context<String,M> cxt, Set<Implication<String,M>> backgroundKnowledge, Expert<String,M> expert, ExecutorService executor, Consumer<Implication<String,M>> implicationConsumer, Consumer<String> updateStatus, Consumer<Double> updateProgress, Supplier<Boolean> isCancelled)
static <M> Set<Implication<String,M>>	ParallelAttributeExploration.explore(Context<String,M> cxt, Set<Implication<String,M>> backgroundKnowledge, Expert<String,M> expert, ExecutorService executor, Consumer<Implication<String,M>> implicationConsumer, Consumer<String> updateStatus, Consumer<Double> updateProgress, Supplier<Boolean> isCancelled)

Uses of Implication in conexp.fx.core.algorithm.nextclosure

Methods in conexp.fx.core.algorithm.nextclosure that return types with arguments of type Implication

Modifier and Type	Method and Description
static <G,M> Pair<Set<Concept<G,M>>,Set<Implication<G,M>>>	NextClosure.conceptsAndImplications(MatrixContext<G,M> cxt)
static <G,M> Iterable<Either<Concept<G,M>,Implication<G,M>>>	NextClosure.implications(MatrixContext<G,M> cxt)

Uses of Implication in conexp.fx.core.algorithm.nextclosures

Fields in conexp.fx.core.algorithm.nextclosures with type parameters of type Implication

Modifier and Type	Field and Description
Set<Implication<G,M>>	NextClosuresState.implications

Methods in conexp.fx.core.algorithm.nextclosures that return types with arguments of type Implication

Modifier and Type	Method and Description
static <G,M> Pair<Set<Concept<G,M>>,Set<Implication<G,M>>>	NextClosures2Bit.bitCleanedCompute(Context<G,M> cxt, ExecutorService executor, Consumer<Concept<G,M>> conceptConsumer, Consumer<Implication<G,M>> implicationConsumer, Consumer<String> updateStatus, Consumer<Double> updateProgress, Supplier<Boolean> isCancelled)
static <G,M> Pair<Set<Concept<G,M>>,Set<Implication<G,M>>>	NextClosures2Bit.bitCompute(Context<G,M> cxt)
static <G,M> Pair<Set<Concept<G,M>>,Set<Implication<G,M>>>	NextClosures2Bit.bitCompute(Context<G,M> cxt, ExecutorService executor, Consumer<Concept<G,M>> conceptConsumer, Consumer<Implication<G,M>> implicationConsumer, Consumer<String> updateStatus, Consumer<Double> updateProgress, Supplier<Boolean> isCancelled)
static <G,M> Pair<Set<Concept<G,M>>,Set<Implication<G,M>>>	NextClosures2Bit.bitReducedCompute(Context<G,M> cxt, ExecutorService executor, Consumer<Concept<G,M>> conceptConsumer, Consumer<Implication<G,M>> implicationConsumer, Consumer<String> updateStatus, Consumer<Double> updateProgress, Supplier<Boolean> isCancelled)
static <G,M> Pair<Set<Concept<G,M>>,Set<Implication<G,M>>>	NextClosures2.compute(Context<G,M> cxt, Collection<Implication<G,M>>... backgroundKnowledge)
static <G,M> Pair<Set<Concept<G,M>>,Set<Implication<G,M>>>	NextClosures2.compute(Context<G,M> cxt, ExecutorService executor, Collection<Implication<G,M>>... backgroundKnowledge)
static <G,M> Pair<Set<Concept<G,M>>,Set<Implication<G,M>>>	NextClosures2.compute(Context<G,M> cxt, ExecutorService executor, Consumer<Concept<G,M>> conceptConsumer, Consumer<Implication<G,M>> implicationConsumer, Consumer<String> updateStatus, Consumer<Double> updateProgress, Supplier<Boolean> isCancelled, Collection<Implication<G,M>>... backgroundKnowledge)
static <G,M> Pair<Set<Concept<G,M>>,Set<Implication<G,M>>>	NextClosures2C.compute(Context<G,M> cxt, ExecutorService executor, Consumer<Concept<G,M>> conceptConsumer, Consumer<Implication<G,M>> implicationConsumer, Consumer<String> updateStatus, Consumer<Double> updateProgress, Supplier<Boolean> isCancelled, SetClosureOperator<M> constraint)
static <G,M> Pair<Set<Concept<G,M>>,Set<Implication<G,M>>>	NextClosures2C.compute(Context<G,M> cxt, ExecutorService executor, SetClosureOperator<M> constraint)
static <G,M> Pair<Set<Concept<G,M>>,Set<Implication<G,M>>>	NextClosures2.compute(Context<G,M> cxt, int cores, Collection<Implication<G,M>>... backgroundKnowledge)
static <G,M> Pair<Set<Concept<G,M>>,Set<Implication<G,M>>>	NextClosures2C.compute(Context<G,M> cxt, int cores, SetClosureOperator<M> constraint)
static <G,M> Pair<Set<Concept<G,M>>,Set<Implication<G,M>>>	NextClosures2C.compute(Context<G,M> cxt, SetClosureOperator<M> constraint)
static <G,M> Pair<Set<Concept<G,M>>,Set<Implication<G,M>>>	NextClosures2.compute(Set<M> baseSet, SetClosureOperator<M> clop, Function<Set<M>,Set<G>> extension, Predicate<Set<M>> monotoneBreakPredicate, ExecutorService executor, Consumer<Concept<G,M>> conceptConsumer, Consumer<Implication<G,M>> implicationConsumer, Consumer<String> updateStatus, Consumer<Double> updateProgress, Supplier<Boolean> isCancelled, Set<Implication<G,M>> backgroundKnowledge)
static <G,M> Pair<Set<Concept<G,M>>,Set<Implication<G,M>>>	NextClosures2.compute(Set<M> baseSet, SetClosureOperator<M> clop, Function<Set<M>,Set<G>> extension, Set<Implication<G,M>> backgroundKnowledge)
Pair<Set<Concept<G,M>>,Set<Implication<G,M>>>	NextClosuresState.getResultAndDispose()
static <G,M> Set<Implication<G,M>>	NextClosures2.transformToJoiningImplications(Context<G,M> cxt, Set<M> premises, Set<M> conclusions, Set<Implication<G,M>> implications)

Method parameters in conexp.fx.core.algorithm.nextclosures with type arguments of type Implication

Modifier and Type	Method and Description
static <G,M> Pair<Set<Concept<G,M>>,Set<Implication<G,M>>>	NextClosures2Bit.bitCleanedCompute(Context<G,M> cxt, ExecutorService executor, Consumer<Concept<G,M>> conceptConsumer, Consumer<Implication<G,M>> implicationConsumer, Consumer<String> updateStatus, Consumer<Double> updateProgress, Supplier<Boolean> isCancelled)
static <G,M> Pair<Set<Concept<G,M>>,Set<Implication<G,M>>>	NextClosures2Bit.bitCompute(Context<G,M> cxt, ExecutorService executor, Consumer<Concept<G,M>> conceptConsumer, Consumer<Implication<G,M>> implicationConsumer, Consumer<String> updateStatus, Consumer<Double> updateProgress, Supplier<Boolean> isCancelled)
static <G,M> Pair<Set<Concept<G,M>>,Set<Implication<G,M>>>	NextClosures2Bit.bitReducedCompute(Context<G,M> cxt, ExecutorService executor, Consumer<Concept<G,M>> conceptConsumer, Consumer<Implication<G,M>> implicationConsumer, Consumer<String> updateStatus, Consumer<Double> updateProgress, Supplier<Boolean> isCancelled)
static <G,M> Pair<Set<Concept<G,M>>,Set<Implication<G,M>>>	NextClosures2.compute(Context<G,M> cxt, ExecutorService executor, Consumer<Concept<G,M>> conceptConsumer, Consumer<Implication<G,M>> implicationConsumer, Consumer<String> updateStatus, Consumer<Double> updateProgress, Supplier<Boolean> isCancelled, Collection<Implication<G,M>>... backgroundKnowledge)
static <G,M> Pair<Set<Concept<G,M>>,Set<Implication<G,M>>>	NextClosures2C.compute(Context<G,M> cxt, ExecutorService executor, Consumer<Concept<G,M>> conceptConsumer, Consumer<Implication<G,M>> implicationConsumer, Consumer<String> updateStatus, Consumer<Double> updateProgress, Supplier<Boolean> isCancelled, SetClosureOperator<M> constraint)
static <G,M> Pair<Set<Concept<G,M>>,Set<Implication<G,M>>>	NextClosures2.compute(Set<M> baseSet, SetClosureOperator<M> clop, Function<Set<M>,Set<G>> extension, Predicate<Set<M>> monotoneBreakPredicate, ExecutorService executor, Consumer<Concept<G,M>> conceptConsumer, Consumer<Implication<G,M>> implicationConsumer, Consumer<String> updateStatus, Consumer<Double> updateProgress, Supplier<Boolean> isCancelled, Set<Implication<G,M>> backgroundKnowledge)
static <G,M> Pair<Set<Concept<G,M>>,Set<Implication<G,M>>>	NextClosures2.compute(Set<M> baseSet, SetClosureOperator<M> clop, Function<Set<M>,Set<G>> extension, Predicate<Set<M>> monotoneBreakPredicate, ExecutorService executor, Consumer<Concept<G,M>> conceptConsumer, Consumer<Implication<G,M>> implicationConsumer, Consumer<String> updateStatus, Consumer<Double> updateProgress, Supplier<Boolean> isCancelled, Set<Implication<G,M>> backgroundKnowledge)
static <G,M> Pair<Set<Concept<G,M>>,Set<Implication<G,M>>>	NextClosures2.compute(Set<M> baseSet, SetClosureOperator<M> clop, Function<Set<M>,Set<G>> extension, Set<Implication<G,M>> backgroundKnowledge)
static <G,M> NextClosures1C.ResultC<G,M>	NextClosures1C.computeWithBackgroundImplications(Context<G,M> cxt, Set<Implication<G,M>> backgroundImplications, boolean verbose)
static <G,M> Set<Implication<G,M>>	NextClosures2.transformToJoiningImplications(Context<G,M> cxt, Set<M> premises, Set<M> conclusions, Set<Implication<G,M>> implications)

Uses of Implication in conexp.fx.core.context

Methods in conexp.fx.core.context that return types with arguments of type Implication

Modifier and Type	Method and Description
static <G,M> Set<Implication<G,M>>	Implication.diff(Set<Implication<G,M>> x, Set<Implication<G,M>> y)
Collection<Implication<G,M>>	ConceptLattice.luxenburgerBase(double minConfidence, boolean sorted) The method computes the luxenburger base for partial implications, whose confidence is at least minConfidence.

Methods in conexp.fx.core.context with parameters of type Implication

Modifier and Type	Method and Description
static <G,M> boolean	Implication.entails(Set<Implication<G,M>> x, Implication<G,M> y)
default boolean	Context.models(Implication<G,M> implication, boolean... checkSupport)

Method parameters in conexp.fx.core.context with type arguments of type Implication

Modifier and Type	Method and Description
static <G,M> Set<Implication<G,M>>	Implication.diff(Set<Implication<G,M>> x, Set<Implication<G,M>> y)
static <G,M> Set<Implication<G,M>>	Implication.diff(Set<Implication<G,M>> x, Set<Implication<G,M>> y)
static <G,M> boolean	Implication.entails(Set<Implication<G,M>> x, Implication<G,M> y)
static <G,M> boolean	Implication.entails(Set<Implication<G,M>> x, Set<Implication<G,M>> y)
static <G,M> boolean	Implication.entails(Set<Implication<G,M>> x, Set<Implication<G,M>> y)
static <G,M> boolean	Implication.equivalent(Set<Implication<G,M>> x, Set<Implication<G,M>> y)
static <G,M> boolean	Implication.equivalent(Set<Implication<G,M>> x, Set<Implication<G,M>> y)
default boolean	Context.models(Collection<Implication<G,M>> implications, boolean... checkSupport)

Uses of Implication in conexp.fx.core.math

Method parameters in conexp.fx.core.math with type arguments of type Implication

Modifier and Type	Method and Description
static <G,M> SetClosureOperator<M>	SetClosureOperator.fromImplications(Collection<Implication<G,M>> implications)
static <G,M> SetClosureOperator<M>	SetClosureOperator.fromImplications(Collection<Implication<G,M>> implications, boolean includePseudoClosures, boolean parallel)
static <G,M> SetClosureOperator<M>	SetClosureOperator.fromImplications(Collection<Implication<G,M>> implications, int firstPremiseSize, boolean includePseudoClosures, boolean parallel)
static <G,M,C extends Set<M>> SetClosureOperator<M>	SetClosureOperator.fromImplications(Collection<Implication<G,M>> implications, int firstPremiseSize, boolean includePseudoClosures, boolean parallel, boolean bySize, Function<Set<M>,C> supplier)
static <G,M> SetClosureOperator<M>	SetClosureOperator.fromImplicationSetDowlingGalier(Collection<Implication<G,M>> implications)
static <G,M> SetClosureOperator<M>	SetClosureOperator.fromImplicationSetLinClosure(Collection<Implication<G,M>> implications)
static <G,M,C extends Set<M>> C	SetClosureOperator.implicativeClosure(Collection<Implication<G,M>> implications, int firstPremiseSize, boolean includePseudoClosures, boolean parallel, boolean bySize, Function<Set<M>,C> supplier, Set<M> set)

Uses of Implication in conexp.fx.gui.dataset

Fields in conexp.fx.gui.dataset with type parameters of type Implication

Modifier and Type	Field and Description
javafx.collections.ObservableList<Implication<G,M>>	FCADataset.implications
javafx.collections.ObservableList<Implication<G,M>>	FCADataset.partialImplications

Uses of Implication in conexp.fx.gui.exploration

Methods in conexp.fx.gui.exploration with parameters of type Implication

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)

Constructors in conexp.fx.gui.exploration with parameters of type Implication

Constructor and Description
CounterExampleDialog(MatrixContext<String,String> context, Implication<String,String> implication)