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

Packages that use ELAxiomatizer

Package	Description
conexp.fx.core.dl

Uses of ELAxiomatizer in conexp.fx.core.dl

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

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)