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

Packages that use AxiomSet

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

Uses of AxiomSet in 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)