conexp.fx.core.algorithm.nextclosures

Class NextClosures2

java.lang.Object

conexp.fx.core.algorithm.nextclosures.NextClosures2

public final class NextClosures2
extends Object

Constructor Summary

Constructors

Constructor and Description
NextClosures2()

Method Summary

Modifier and Type	Method and Description
static <G,M> Pair<Set<Concept<G,M>>,Set<Implication<G,M>>>	compute(Context<G,M> cxt, Collection<Implication<G,M>>... backgroundKnowledge)
static <G,M> Pair<Set<Concept<G,M>>,Set<Implication<G,M>>>	compute(Context<G,M> cxt, ExecutorService executor, Collection<Implication<G,M>>... backgroundKnowledge)
static <G,M> Pair<Set<Concept<G,M>>,Set<Implication<G,M>>>	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>>>	compute(Context<G,M> cxt, int cores, Collection<Implication<G,M>>... backgroundKnowledge)
static <G,M> Pair<Set<Concept<G,M>>,Set<Implication<G,M>>>	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>>>	compute(Set<M> baseSet, SetClosureOperator<M> clop, Function<Set<M>,Set<G>> extension, Set<Implication<G,M>> backgroundKnowledge)
static <T> Set<Set<T>>	compute(Set<T> baseSet, SetClosureOperator<T> clop, boolean verbose, ExecutorService tpe)
static <G,M> TimeTask<?>	createTask(FCADataset<G,M> dataset)
static <G,M> Set<Implication<G,M>>	transformToJoiningImplications(Context<G,M> cxt, Set<M> premises, Set<M> conclusions, Set<Implication<G,M>> implications)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

NextClosures2

public NextClosures2()

Method Detail

compute

public static final <G,M> Pair<Set<Concept<G,M>>,Set<Implication<G,M>>> 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)

compute

public static final <G,M> Pair<Set<Concept<G,M>>,Set<Implication<G,M>>> compute(Set<M> baseSet,
                                                                                SetClosureOperator<M> clop,
                                                                                Function<Set<M>,Set<G>> extension,
                                                                                Set<Implication<G,M>> backgroundKnowledge)

transformToJoiningImplications

public static <G,M> Set<Implication<G,M>> transformToJoiningImplications(Context<G,M> cxt,
                                                                         Set<M> premises,
                                                                         Set<M> conclusions,
                                                                         Set<Implication<G,M>> implications)

compute

public static final <T> Set<Set<T>> compute(Set<T> baseSet,
                                            SetClosureOperator<T> clop,
                                            boolean verbose,
                                            ExecutorService tpe)

compute

@SafeVarargs
public static final <G,M> Pair<Set<Concept<G,M>>,Set<Implication<G,M>>> 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)

compute

@SafeVarargs
public static final <G,M> Pair<Set<Concept<G,M>>,Set<Implication<G,M>>> compute(Context<G,M> cxt,
                                                                                             ExecutorService executor,
                                                                                             Collection<Implication<G,M>>... backgroundKnowledge)

compute

@SafeVarargs
public static final <G,M> Pair<Set<Concept<G,M>>,Set<Implication<G,M>>> compute(Context<G,M> cxt,
                                                                                             int cores,
                                                                                             Collection<Implication<G,M>>... backgroundKnowledge)

compute

@SafeVarargs
public static final <G,M> Pair<Set<Concept<G,M>>,Set<Implication<G,M>>> compute(Context<G,M> cxt,
                                                                                             Collection<Implication<G,M>>... backgroundKnowledge)

createTask

public static final <G,M> TimeTask<?> createTask(FCADataset<G,M> dataset)