conexp.fx.core.algorithm.nextclosure

Class NextClosure

java.lang.Object

conexp.fx.core.algorithm.nextclosure.NextClosure

public class NextClosure
extends Object

Constructor Summary

Constructors

Constructor and Description
NextClosure()

Method Summary

Modifier and Type	Method and Description
static <G,M> Pair<Set<Concept<G,M>>,Set<Implication<G,M>>>	conceptsAndImplications(MatrixContext<G,M> cxt)
static <T> Iterable<Set<T>>	enumerate(SetList<T> base, SetClosureOperator<T> clop)
static <T,U> Iterable<U>	enumerate(SetList<T> base, U first, Function<Set<T>,U> clop, Function<U,Set<T>> inverse)
static <G,M> Iterable<Either<Concept<G,M>,Implication<G,M>>>	implications(MatrixContext<G,M> cxt)
static <G,M> Iterable<Concept<G,M>>	intents(MatrixContext<G,M> cxt)

Methods inherited from class java.lang.Object

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

Constructor Detail

NextClosure

public NextClosure()

Method Detail

intents

public static <G,M> Iterable<Concept<G,M>> intents(MatrixContext<G,M> cxt)

implications

public static <G,M> Iterable<Either<Concept<G,M>,Implication<G,M>>> implications(MatrixContext<G,M> cxt)

conceptsAndImplications

public static <G,M> Pair<Set<Concept<G,M>>,Set<Implication<G,M>>> conceptsAndImplications(MatrixContext<G,M> cxt)

enumerate

public static <T> Iterable<Set<T>> enumerate(SetList<T> base,
                                             SetClosureOperator<T> clop)

enumerate

public static <T,U> Iterable<U> enumerate(SetList<T> base,
                                          U first,
                                          Function<Set<T>,U> clop,
                                          Function<U,Set<T>> inverse)