public class NextClosures2Bit extends Object
Constructor and Description |
---|
NextClosures2Bit() |
Modifier and Type | Method and Description |
---|---|
static <G,M> Pair<Set<Concept<G,M>>,Set<Implication<G,M>>> |
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>>> |
bitCompute(Context<G,M> cxt) |
static <G,M> Pair<Set<Concept<G,M>>,Set<Implication<G,M>>> |
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>>> |
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> TimeTask<?> |
createTask(FCADataset<G,M> dataset) |
public NextClosures2Bit()
public static final <G,M> Pair<Set<Concept<G,M>>,Set<Implication<G,M>>> 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)
public static final <G,M> Pair<Set<Concept<G,M>>,Set<Implication<G,M>>> bitCompute(Context<G,M> cxt)
public static final <G,M> Pair<Set<Concept<G,M>>,Set<Implication<G,M>>> 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)
public static final <G,M> Pair<Set<Concept<G,M>>,Set<Implication<G,M>>> 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)
public static final <G,M> TimeTask<?> createTask(FCADataset<G,M> dataset)
Copyright © 2010–2023 Francesco Kriegel. All rights reserved.