conexp.fx.core.algorithm.nextclosures

Class NextClosures2C

java.lang.Object

conexp.fx.core.algorithm.nextclosures.NextClosures2C

public final class NextClosures2C
extends Object

Constructor Summary

Constructors

Constructor and Description
NextClosures2C()

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, 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>>>	compute(Context<G,M> cxt, ExecutorService executor, SetClosureOperator<M> constraint)
static <G,M> Pair<Set<Concept<G,M>>,Set<Implication<G,M>>>	compute(Context<G,M> cxt, int cores, SetClosureOperator<M> constraint)
static <G,M> Pair<Set<Concept<G,M>>,Set<Implication<G,M>>>	compute(Context<G,M> cxt, SetClosureOperator<M> constraint)
static <G,M> TimeTask<?>	createTask(FCADataset<G,M> dataset, SetClosureOperator<M> constraint)

Methods inherited from class java.lang.Object

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

Constructor Detail

NextClosures2C

public NextClosures2C()

Method Detail

compute

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,
                                                                                SetClosureOperator<M> constraint)

compute

public static final <G,M> Pair<Set<Concept<G,M>>,Set<Implication<G,M>>> compute(Context<G,M> cxt,
                                                                                ExecutorService executor,
                                                                                SetClosureOperator<M> constraint)

compute

public static final <G,M> Pair<Set<Concept<G,M>>,Set<Implication<G,M>>> compute(Context<G,M> cxt,
                                                                                int cores,
                                                                                SetClosureOperator<M> constraint)

compute

public static final <G,M> Pair<Set<Concept<G,M>>,Set<Implication<G,M>>> compute(Context<G,M> cxt,
                                                                                SetClosureOperator<M> constraint)

createTask

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