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 tbox) replace a defined concept with its description
Axiom	Axiom.simplifyForall(TBox KB) replace a 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 KB) split an axiom; @return new axiom and/or NULL

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

Modifier and Type	Method and Description
protected boolean	AxiomSet.processNewAxiom(Axiom q) helper that inserts an axiom into Accum; @return bool if success
protected boolean	AxiomSet.split(Axiom p) split given axiom