conexp.fx.core.math

Interface DualClosureOperator<T extends LatticeElement<T>>

All Superinterfaces:

Function<T,T>

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 DualClosureOperator<T extends LatticeElement<T>>
extends Function<T,T>

Method Summary

Modifier and Type	Method and Description
default T	apply(T element)
default boolean	close(T element)
T	closure(T element)
static <I> DualClosureOperator<ELConceptDescription>	fromInterpretation(ELInterpretation2<I> i, int d)
static DualClosureOperator<ELConceptDescription>	fromTBox(ELTBox t, int d)
static <T extends LatticeElement<T>> DualClosureOperator<T>	infimum(DualClosureOperator<T>... closureOperators)
static <T extends LatticeElement<T>> DualClosureOperator<T>	infimum(Iterable<DualClosureOperator<T>> closureOperators)
default boolean	isClosed(T element)
static <T extends LatticeElement<T>> DualClosureOperator<T>	supremum(DualClosureOperator<T>... closureOperators)
static <T extends LatticeElement<T>> DualClosureOperator<T>	supremum(Iterable<DualClosureOperator<T>> closureOperators)

Methods inherited from interface java.util.function.Function

andThen, compose, identity

Method Detail

apply

default T apply(T element)

Specified by:

apply in interface Function<T extends LatticeElement<T>,T extends LatticeElement<T>>

closure

T closure(T element)

close

default boolean close(T element)

isClosed

default boolean isClosed(T element)

infimum

@SafeVarargs
static <T extends LatticeElement<T>> DualClosureOperator<T> infimum(DualClosureOperator<T>... closureOperators)

infimum

static <T extends LatticeElement<T>> DualClosureOperator<T> infimum(Iterable<DualClosureOperator<T>> closureOperators)

supremum

@SafeVarargs
static <T extends LatticeElement<T>> DualClosureOperator<T> supremum(DualClosureOperator<T>... closureOperators)

supremum

static <T extends LatticeElement<T>> DualClosureOperator<T> supremum(Iterable<DualClosureOperator<T>> closureOperators)

fromInterpretation

static <I> DualClosureOperator<ELConceptDescription> fromInterpretation(ELInterpretation2<I> i,
                                                                        int d)

fromTBox

static DualClosureOperator<ELConceptDescription> fromTBox(ELTBox t,
                                                          int d)