Uses of Class uk.ac.manchester.cs.jfact.kernel.AxiomSet (JFact 4.0.1 API)

Packages that use AxiomSet
Package Description

uk.ac.manchester.cs.jfact.kernel

Packages that use AxiomSet
Package	Description
uk.ac.manchester.cs.jfact.kernel

Methods in uk.ac.manchester.cs.jfact.kernel with parameters of type AxiomSet
Modifier and Type	Method and Description
`abstract boolean`	AbsorptionActions.`execute(Axiom ax, AxiomSet tb)`

Uses of Classuk.ac.manchester.cs.jfact.kernel.AxiomSet