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

Packages that use DualClosureOperator

Package	Description
conexp.fx.core.dl
conexp.fx.core.math

Uses of DualClosureOperator in conexp.fx.core.dl

Constructors in conexp.fx.core.dl with parameters of type DualClosureOperator

Constructor and Description
ELAxiomatizer(Signature sigma, int roleDepth, boolean withBot, Predicate<ELConceptDescription> hasEmptySupport, DualClosureOperator<ELConceptDescription> clop)

Uses of DualClosureOperator in conexp.fx.core.math

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

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

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

Modifier and Type	Method and Description
static <T extends LatticeElement<T>> DualClosureOperator<T>	DualClosureOperator.infimum(DualClosureOperator<T>... closureOperators)
static <T extends LatticeElement<T>> DualClosureOperator<T>	DualClosureOperator.supremum(DualClosureOperator<T>... closureOperators)

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

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