Uses of Class
conexp.fx.core.dl.ELInterpretation2

Packages that use ELInterpretation2

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

Uses of ELInterpretation2 in conexp.fx.core.dl

Methods in conexp.fx.core.dl that return ELInterpretation2

Modifier and Type	Method and Description
ELInterpretation2<ELConceptDescription>	ELTBox.getCanonicalModel(ELConceptDescription C)
ELInterpretation2<ELConceptDescription>	ELTBox.getCanonicalModelLutz(ELConceptDescription C)

Methods in conexp.fx.core.dl with parameters of type ELInterpretation2

Modifier and Type	Method and Description
static <I> ELAxiomatizer	ELAxiomatizer.from(Signature sigma, ELInterpretation2<I> i, ELTBox t, int roleDepth)
static <I> ELAxiomatizer	ELAxiomatizer.from(Signature sigma, ELInterpretation2<I> i, int roleDepth)

Uses of ELInterpretation2 in conexp.fx.core.math

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

Modifier and Type	Method and Description
static <I> DualClosureOperator<ELConceptDescription>	DualClosureOperator.fromInterpretation(ELInterpretation2<I> i, int d)