Uses of Class
uk.ac.manchester.cs.jfact.kernel.Axiom

Packages that use Axiom

Package	Description
uk.ac.manchester.cs.jfact.kernel

Uses of Axiom in uk.ac.manchester.cs.jfact.kernel

Methods in uk.ac.manchester.cs.jfact.kernel that return Axiom

Modifier and Type	Method and Description
Axiom	Axiom.simplifyCN(TBox t) replace a defined concept with its description
Axiom	Axiom.simplifyForall(TBox kb) replace a universal restriction with a fresh concept
Axiom	Axiom.simplifySForall(TBox kb) replace a simple universal restriction with a fresh concept

Methods in uk.ac.manchester.cs.jfact.kernel that return types with arguments of type Axiom

Modifier and Type	Method and Description
List<Axiom>	Axiom.split(TBox tbox) split an axiom;

Methods in uk.ac.manchester.cs.jfact.kernel with parameters of type Axiom

Modifier and Type	Method and Description
abstract boolean	AbsorptionActions.execute(Axiom ax, AxiomSet tb)

Constructors in uk.ac.manchester.cs.jfact.kernel with parameters of type Axiom

Constructor and Description
Axiom(Axiom parent)