conexp.fx.core.math

Interface SetClosureOperator<M>

All Superinterfaces:

Function<Set<M>,Set<M>>

Functional Interface:

This is a functional interface and can therefore be used as the assignment target for a lambda expression or method reference.

@FunctionalInterface
public interface SetClosureOperator<M>
extends Function<Set<M>,Set<M>>

Method Summary

Modifier and Type	Method and Description
default Set<M>	apply(Set<M> set)
static <M> SetClosureOperator<M>	bottom()
static <G,M> SetClosureOperator<M>	byMaximalCardinality(int maxCard, Collection<M> baseSet)
static <G,M> SetClosureOperator<M>	byMinimalSupport(int minSupp, Context<G,M> cxt)
default boolean	close(Set<M> set)
Set<M>	closure(Set<M> set)
static <G,M> SetClosureOperator<M>	containsAllFrom(Collection<M> elements, Set<M> baseSet)
static <G,M> SetClosureOperator<M>	fromContext(Context<G,M> cxt)
static <G,M> SetClosureOperator<M>	fromImplications(Collection<Implication<G,M>> implications)
static <G,M> SetClosureOperator<M>	fromImplications(Collection<Implication<G,M>> implications, boolean includePseudoClosures, boolean parallel)
static <G,M> SetClosureOperator<M>	fromImplications(Collection<Implication<G,M>> implications, int firstPremiseSize, boolean includePseudoClosures, boolean parallel)
static <G,M,C extends Set<M>> SetClosureOperator<M>	fromImplications(Collection<Implication<G,M>> implications, int firstPremiseSize, boolean includePseudoClosures, boolean parallel, boolean bySize, Function<Set<M>,C> supplier)
static <G,M> SetClosureOperator<M>	fromImplicationSetDowlingGalier(Collection<Implication<G,M>> implications)
static <G,M> SetClosureOperator<M>	fromImplicationSetLinClosure(Collection<Implication<G,M>> implications)
static <G,M,C extends Set<M>> C	implicativeClosure(Collection<Implication<G,M>> implications, int firstPremiseSize, boolean includePseudoClosures, boolean parallel, boolean bySize, Function<Set<M>,C> supplier, Set<M> set)
static <T> SetClosureOperator<T>	infimum(Iterable<SetClosureOperator<T>> closureOperators)
static <T> SetClosureOperator<T>	infimum(SetClosureOperator<T>... closureOperators)
default boolean	isClosed(Set<M> set)
static <G,M> SetClosureOperator<M>	isSubsetOf(Collection<M> elements, Set<M> baseSet)
static <G,M> SetClosureOperator<M>	joiningImplications(Context<G,M> cxt, Set<M> premises, Set<M> conclusions)
static <T> SetClosureOperator<T>	supremum(Iterable<SetClosureOperator<T>> closureOperators)
static <T> SetClosureOperator<T>	supremum(SetClosureOperator<T>... closureOperators)
static <M> SetClosureOperator<M>	top(Set<M> baseSet)

Methods inherited from interface java.util.function.Function

andThen, compose, identity

Method Detail

apply

default Set<M> apply(Set<M> set)

Specified by:

apply in interface Function<Set<M>,Set<M>>

closure

Set<M> closure(Set<M> set)

close

default boolean close(Set<M> set)

isClosed

default boolean isClosed(Set<M> set)

infimum

@SafeVarargs
static <T> SetClosureOperator<T> infimum(SetClosureOperator<T>... closureOperators)

infimum

static <T> SetClosureOperator<T> infimum(Iterable<SetClosureOperator<T>> closureOperators)

supremum

@SafeVarargs
static <T> SetClosureOperator<T> supremum(SetClosureOperator<T>... closureOperators)

supremum

static <T> SetClosureOperator<T> supremum(Iterable<SetClosureOperator<T>> closureOperators)

fromContext

static <G,M> SetClosureOperator<M> fromContext(Context<G,M> cxt)

joiningImplications

static <G,M> SetClosureOperator<M> joiningImplications(Context<G,M> cxt,
                                                       Set<M> premises,
                                                       Set<M> conclusions)

implicativeClosure

static <G,M,C extends Set<M>> C implicativeClosure(Collection<Implication<G,M>> implications,
                                                   int firstPremiseSize,
                                                   boolean includePseudoClosures,
                                                   boolean parallel,
                                                   boolean bySize,
                                                   Function<Set<M>,C> supplier,
                                                   Set<M> set)

fromImplications

static <G,M,C extends Set<M>> SetClosureOperator<M> fromImplications(Collection<Implication<G,M>> implications,
                                                                     int firstPremiseSize,
                                                                     boolean includePseudoClosures,
                                                                     boolean parallel,
                                                                     boolean bySize,
                                                                     Function<Set<M>,C> supplier)

fromImplications

static <G,M> SetClosureOperator<M> fromImplications(Collection<Implication<G,M>> implications,
                                                    int firstPremiseSize,
                                                    boolean includePseudoClosures,
                                                    boolean parallel)

fromImplications

static <G,M> SetClosureOperator<M> fromImplications(Collection<Implication<G,M>> implications,
                                                    boolean includePseudoClosures,
                                                    boolean parallel)

fromImplications

static <G,M> SetClosureOperator<M> fromImplications(Collection<Implication<G,M>> implications)

fromImplicationSetLinClosure

static <G,M> SetClosureOperator<M> fromImplicationSetLinClosure(Collection<Implication<G,M>> implications)

fromImplicationSetDowlingGalier

static <G,M> SetClosureOperator<M> fromImplicationSetDowlingGalier(Collection<Implication<G,M>> implications)

byMaximalCardinality

static <G,M> SetClosureOperator<M> byMaximalCardinality(int maxCard,
                                                        Collection<M> baseSet)

Parameters:

maxCard -

baseSet -

Returns:

a closure operator, whose closed sets are those that do not exceed the given maximal cardinality, or contains all elements from the base set.

byMinimalSupport

static <G,M> SetClosureOperator<M> byMinimalSupport(int minSupp,
                                                    Context<G,M> cxt)

Parameters:

minSupp -

cxt -

Returns:

a closure operator, whose closed sets are those that have an extent with at least minSupp elements in the given formal context cxt, or contain all elements from the context's codomain.

containsAllFrom

static <G,M> SetClosureOperator<M> containsAllFrom(Collection<M> elements,
                                                   Set<M> baseSet)

Parameters:

elements -

baseSet -

Returns:

a closure operator, whose closed sets are those that contain all given elements.

isSubsetOf

static <G,M> SetClosureOperator<M> isSubsetOf(Collection<M> elements,
                                              Set<M> baseSet)

Parameters:

elements -

baseSet -

Returns:

a closure operator, whose closed sets are those, that are subsets of elements, or contain all elements from the baseSet.

bottom

static <M> SetClosureOperator<M> bottom()

top

static <M> SetClosureOperator<M> top(Set<M> baseSet)