Uses of Interface
conexp.fx.core.math.SetClosureOperator

Packages that use SetClosureOperator

Package	Description
conexp.fx.core.algorithm.nextclosure
conexp.fx.core.algorithm.nextclosures
conexp.fx.core.math

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

Methods in conexp.fx.core.algorithm.nextclosure with parameters of type SetClosureOperator

Modifier and Type	Method and Description
static <T> Iterable<Set<T>>	NextClosure.enumerate(SetList<T> base, SetClosureOperator<T> clop)

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

Methods in conexp.fx.core.algorithm.nextclosures with parameters of type SetClosureOperator

Modifier and Type	Method and Description
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>>>	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> NextClosures1C.ResultC<G,M>	NextClosures1C.compute(Context<G,M> cxt, SetClosureOperator<M> clop, boolean verbose)
static <G,M> NextClosures1C.ResultC<G,M>	NextClosures1C.compute(Context<G,M> cxt, SetClosureOperator<M> clop, boolean verbose, int cores)
static <G,M> NextClosures1C.ResultC<G,M>	NextClosures1C.compute(Context<G,M> cxt, SetClosureOperator<M> clop, boolean verbose, ThreadPoolExecutor tpe)
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 <T> Set<Set<T>>	NextClosures2.compute(Set<T> baseSet, SetClosureOperator<T> clop, boolean verbose, ExecutorService tpe)
static <G,M> TimeTask<?>	NextClosures2C.createTask(FCADataset<G,M> dataset, SetClosureOperator<M> constraint)

Constructors in conexp.fx.core.algorithm.nextclosures with parameters of type SetClosureOperator

Constructor and Description
ResultC(SetClosureOperator<M> clop)

Uses of SetClosureOperator in conexp.fx.core.math

Methods in conexp.fx.core.math that return SetClosureOperator

Modifier and Type	Method and Description
static <M> SetClosureOperator<M>	SetClosureOperator.bottom()
static <G,M> SetClosureOperator<M>	SetClosureOperator.byMaximalCardinality(int maxCard, Collection<M> baseSet)
static <G,M> SetClosureOperator<M>	SetClosureOperator.byMinimalSupport(int minSupp, Context<G,M> cxt)
static <G,M> SetClosureOperator<M>	SetClosureOperator.containsAllFrom(Collection<M> elements, Set<M> baseSet)
static <G,M> SetClosureOperator<M>	SetClosureOperator.fromContext(Context<G,M> cxt)
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 <T> SetClosureOperator<T>	SetClosureOperator.infimum(Iterable<SetClosureOperator<T>> closureOperators)
static <T> SetClosureOperator<T>	SetClosureOperator.infimum(SetClosureOperator<T>... closureOperators)
static <G,M> SetClosureOperator<M>	SetClosureOperator.isSubsetOf(Collection<M> elements, Set<M> baseSet)
static <G,M> SetClosureOperator<M>	SetClosureOperator.joiningImplications(Context<G,M> cxt, Set<M> premises, Set<M> conclusions)
static <T> SetClosureOperator<T>	SetClosureOperator.supremum(Iterable<SetClosureOperator<T>> closureOperators)
static <T> SetClosureOperator<T>	SetClosureOperator.supremum(SetClosureOperator<T>... closureOperators)
static <M> SetClosureOperator<M>	SetClosureOperator.top(Set<M> baseSet)

Methods in conexp.fx.core.math with parameters of type SetClosureOperator

Modifier and Type	Method and Description
static <T> SetClosureOperator<T>	SetClosureOperator.infimum(SetClosureOperator<T>... closureOperators)
static <T> SetClosureOperator<T>	SetClosureOperator.supremum(SetClosureOperator<T>... closureOperators)

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

Modifier and Type	Method and Description
static <T> SetClosureOperator<T>	SetClosureOperator.infimum(Iterable<SetClosureOperator<T>> closureOperators)
static <T> SetClosureOperator<T>	SetClosureOperator.supremum(Iterable<SetClosureOperator<T>> closureOperators)