META-INF/
META-INF/MANIFEST.MF
lib/
lib/native/
lib/native/32bit/
lib/native/32bit/FaCTPlusPlusJNI.dll
lib/native/32bit/libFaCTPlusPlusJNI.jnilib
lib/native/32bit/libFaCTPlusPlusJNI.so
lib/native/64bit/
lib/native/64bit/FaCTPlusPlusJNI.dll
lib/native/64bit/libFaCTPlusPlusJNI.jnilib
lib/native/64bit/libFaCTPlusPlusJNI.so
plugin.xml
uk/
uk/ac/
uk/ac/manchester/
uk/ac/manchester/cs/
uk/ac/manchester/cs/factplusplus/
uk/ac/manchester/cs/factplusplus/AxiomPointer.class
<Unknown>
package uk.ac.manchester.cs.factplusplus
public uk.ac.manchester.cs.factplusplus.AxiomPointer extends uk.ac.manchester.cs.factplusplus.Pointer {
	public void <init> () 
}

uk/ac/manchester/cs/factplusplus/ClassPointer.class
<Unknown>
package uk.ac.manchester.cs.factplusplus
public uk.ac.manchester.cs.factplusplus.ClassPointer extends uk.ac.manchester.cs.factplusplus.Pointer {
	public void <init> () 
}

uk/ac/manchester/cs/factplusplus/DataPropertyPointer.class
<Unknown>
package uk.ac.manchester.cs.factplusplus
public uk.ac.manchester.cs.factplusplus.DataPropertyPointer extends uk.ac.manchester.cs.factplusplus.Pointer {
	public void <init> () 
}

uk/ac/manchester/cs/factplusplus/DataTypeExpressionPointer.class
<Unknown>
package uk.ac.manchester.cs.factplusplus
public uk.ac.manchester.cs.factplusplus.DataTypeExpressionPointer extends uk.ac.manchester.cs.factplusplus.Pointer {
	public void <init> () 
}

uk/ac/manchester/cs/factplusplus/DataTypeFacet.class
<Unknown>
package uk.ac.manchester.cs.factplusplus
public uk.ac.manchester.cs.factplusplus.DataTypeFacet extends uk.ac.manchester.cs.factplusplus.Pointer {
	public void <init> () 
}

uk/ac/manchester/cs/factplusplus/DataTypePointer.class
<Unknown>
package uk.ac.manchester.cs.factplusplus
public uk.ac.manchester.cs.factplusplus.DataTypePointer extends uk.ac.manchester.cs.factplusplus.DataTypeExpressionPointer {
	public void <init> () 
}

uk/ac/manchester/cs/factplusplus/DataValuePointer.class
<Unknown>
package uk.ac.manchester.cs.factplusplus
public uk.ac.manchester.cs.factplusplus.DataValuePointer extends uk.ac.manchester.cs.factplusplus.Pointer {
	public void <init> () 
}

uk/ac/manchester/cs/factplusplus/FaCTPlusPlus.class
<Unknown>
package uk.ac.manchester.cs.factplusplus
public uk.ac.manchester.cs.factplusplus.FaCTPlusPlus extends java.lang.Object {
	private static final java.util.concurrent.atomic.AtomicBoolean initDone
	private long KernelId
	public static final boolean test () 
	private static native void initMethodsFieldsIDs () 
	public void <init> ()  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public void dispose ()  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	private native void initKernel ()  throws java.lang.Exception 
	private native void deleteKernel ()  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native void clearKernel ()  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native void setTopBottomPropertyNames (java.lang.String, java.lang.String, java.lang.String, java.lang.String) 
	public native void classify ()  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native void realise ()  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native boolean isRealised () 
	public native uk.ac.manchester.cs.factplusplus.ClassPointer getThing ()  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.ClassPointer getNothing ()  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.ClassPointer getNamedClass (java.lang.String)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.ObjectPropertyPointer getTopObjectProperty ()  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.ObjectPropertyPointer getBottomObjectProperty ()  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.ObjectPropertyPointer getObjectProperty (java.lang.String)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.DataPropertyPointer getTopDataProperty ()  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.DataPropertyPointer getBottomDataProperty ()  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.DataPropertyPointer getDataProperty (java.lang.String)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.IndividualPointer getIndividual (java.lang.String)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.DataTypePointer getDataTop ()  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.DataTypePointer getBuiltInDataType (java.lang.String)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.DataTypeExpressionPointer getDataSubType (java.lang.String, uk.ac.manchester.cs.factplusplus.DataTypeExpressionPointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.DataTypeExpressionPointer getDataEnumeration ()  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.DataTypeExpressionPointer getRestrictedDataType (uk.ac.manchester.cs.factplusplus.DataTypeExpressionPointer, uk.ac.manchester.cs.factplusplus.DataTypeFacet)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.DataTypeFacet getLength (uk.ac.manchester.cs.factplusplus.DataValuePointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.DataTypeFacet getMinLength (uk.ac.manchester.cs.factplusplus.DataValuePointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.DataTypeFacet getMaxLength (uk.ac.manchester.cs.factplusplus.DataValuePointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.DataTypeFacet getPattern (uk.ac.manchester.cs.factplusplus.DataValuePointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.DataTypeFacet getMinExclusiveFacet (uk.ac.manchester.cs.factplusplus.DataValuePointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.DataTypeFacet getMaxExclusiveFacet (uk.ac.manchester.cs.factplusplus.DataValuePointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.DataTypeFacet getMinInclusiveFacet (uk.ac.manchester.cs.factplusplus.DataValuePointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.DataTypeFacet getMaxInclusiveFacet (uk.ac.manchester.cs.factplusplus.DataValuePointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.DataTypeFacet getTotalDigitsFacet (uk.ac.manchester.cs.factplusplus.DataValuePointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.DataTypeFacet getFractionDigitsFacet (uk.ac.manchester.cs.factplusplus.DataValuePointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.DataTypeExpressionPointer getDataNot (uk.ac.manchester.cs.factplusplus.DataTypeExpressionPointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.DataTypeExpressionPointer getDataIntersectionOf ()  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.DataTypeExpressionPointer getDataUnionOf ()  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.DataValuePointer getDataValue (java.lang.String, uk.ac.manchester.cs.factplusplus.DataTypePointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.ClassPointer getConceptAnd ()  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.ClassPointer getConceptOr ()  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.ClassPointer getConceptNot (uk.ac.manchester.cs.factplusplus.ClassPointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.ClassPointer getObjectSome (uk.ac.manchester.cs.factplusplus.ObjectPropertyPointer, uk.ac.manchester.cs.factplusplus.ClassPointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.ClassPointer getObjectAll (uk.ac.manchester.cs.factplusplus.ObjectPropertyPointer, uk.ac.manchester.cs.factplusplus.ClassPointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.ClassPointer getObjectValue (uk.ac.manchester.cs.factplusplus.ObjectPropertyPointer, uk.ac.manchester.cs.factplusplus.IndividualPointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.ClassPointer getObjectAtLeast (int, uk.ac.manchester.cs.factplusplus.ObjectPropertyPointer, uk.ac.manchester.cs.factplusplus.ClassPointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.ClassPointer getObjectExact (int, uk.ac.manchester.cs.factplusplus.ObjectPropertyPointer, uk.ac.manchester.cs.factplusplus.ClassPointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.ClassPointer getObjectAtMost (int, uk.ac.manchester.cs.factplusplus.ObjectPropertyPointer, uk.ac.manchester.cs.factplusplus.ClassPointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.ClassPointer getDataSome (uk.ac.manchester.cs.factplusplus.DataPropertyPointer, uk.ac.manchester.cs.factplusplus.DataTypeExpressionPointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.ClassPointer getDataAll (uk.ac.manchester.cs.factplusplus.DataPropertyPointer, uk.ac.manchester.cs.factplusplus.DataTypeExpressionPointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.ClassPointer getDataValue (uk.ac.manchester.cs.factplusplus.DataPropertyPointer, uk.ac.manchester.cs.factplusplus.DataValuePointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.ClassPointer getDataAtLeast (int, uk.ac.manchester.cs.factplusplus.DataPropertyPointer, uk.ac.manchester.cs.factplusplus.DataTypeExpressionPointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.ClassPointer getDataExact (int, uk.ac.manchester.cs.factplusplus.DataPropertyPointer, uk.ac.manchester.cs.factplusplus.DataTypeExpressionPointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.ClassPointer getDataAtMost (int, uk.ac.manchester.cs.factplusplus.DataPropertyPointer, uk.ac.manchester.cs.factplusplus.DataTypeExpressionPointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.ObjectPropertyPointer getInverseProperty (uk.ac.manchester.cs.factplusplus.ObjectPropertyPointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.ObjectPropertyPointer getPropertyComposition ()  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.DataPropertyPointer getDataPropertyKey ()  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.ObjectPropertyPointer getObjectPropertyKey ()  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.ClassPointer getOneOf ()  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.ClassPointer getSelf (uk.ac.manchester.cs.factplusplus.ObjectPropertyPointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.AxiomPointer tellClassDeclaration (uk.ac.manchester.cs.factplusplus.ClassPointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.AxiomPointer tellObjectPropertyDeclaration (uk.ac.manchester.cs.factplusplus.ObjectPropertyPointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.AxiomPointer tellDataPropertyDeclaration (uk.ac.manchester.cs.factplusplus.DataPropertyPointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.AxiomPointer tellIndividualDeclaration (uk.ac.manchester.cs.factplusplus.IndividualPointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.AxiomPointer tellDatatypeDeclaration (uk.ac.manchester.cs.factplusplus.DataTypePointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.AxiomPointer tellSubClassOf (uk.ac.manchester.cs.factplusplus.ClassPointer, uk.ac.manchester.cs.factplusplus.ClassPointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.AxiomPointer tellEquivalentClass ()  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.AxiomPointer tellDisjointClasses ()  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.AxiomPointer tellDisjointUnion (uk.ac.manchester.cs.factplusplus.ClassPointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.AxiomPointer tellHasKey (uk.ac.manchester.cs.factplusplus.ClassPointer, uk.ac.manchester.cs.factplusplus.DataPropertyPointer, uk.ac.manchester.cs.factplusplus.ObjectPropertyPointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.AxiomPointer tellSubObjectProperties (uk.ac.manchester.cs.factplusplus.ObjectPropertyPointer, uk.ac.manchester.cs.factplusplus.ObjectPropertyPointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.AxiomPointer tellEquivalentObjectProperties ()  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.AxiomPointer tellInverseProperties (uk.ac.manchester.cs.factplusplus.ObjectPropertyPointer, uk.ac.manchester.cs.factplusplus.ObjectPropertyPointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.AxiomPointer tellObjectPropertyRange (uk.ac.manchester.cs.factplusplus.ObjectPropertyPointer, uk.ac.manchester.cs.factplusplus.ClassPointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.AxiomPointer tellDataPropertyRange (uk.ac.manchester.cs.factplusplus.DataPropertyPointer, uk.ac.manchester.cs.factplusplus.DataTypeExpressionPointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.AxiomPointer tellObjectPropertyDomain (uk.ac.manchester.cs.factplusplus.ObjectPropertyPointer, uk.ac.manchester.cs.factplusplus.ClassPointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.AxiomPointer tellDataPropertyDomain (uk.ac.manchester.cs.factplusplus.DataPropertyPointer, uk.ac.manchester.cs.factplusplus.ClassPointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.AxiomPointer tellDisjointObjectProperties ()  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.AxiomPointer tellFunctionalObjectProperty (uk.ac.manchester.cs.factplusplus.ObjectPropertyPointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.AxiomPointer tellInverseFunctionalObjectProperty (uk.ac.manchester.cs.factplusplus.ObjectPropertyPointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.AxiomPointer tellSymmetricObjectProperty (uk.ac.manchester.cs.factplusplus.ObjectPropertyPointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.AxiomPointer tellAsymmetricObjectProperty (uk.ac.manchester.cs.factplusplus.ObjectPropertyPointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.AxiomPointer tellReflexiveObjectProperty (uk.ac.manchester.cs.factplusplus.ObjectPropertyPointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.AxiomPointer tellIrreflexiveObjectProperty (uk.ac.manchester.cs.factplusplus.ObjectPropertyPointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.AxiomPointer tellTransitiveObjectProperty (uk.ac.manchester.cs.factplusplus.ObjectPropertyPointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.AxiomPointer tellSubDataProperties (uk.ac.manchester.cs.factplusplus.DataPropertyPointer, uk.ac.manchester.cs.factplusplus.DataPropertyPointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.AxiomPointer tellEquivalentDataProperties ()  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.AxiomPointer tellDisjointDataProperties ()  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.AxiomPointer tellFunctionalDataProperty (uk.ac.manchester.cs.factplusplus.DataPropertyPointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.AxiomPointer tellIndividualType (uk.ac.manchester.cs.factplusplus.IndividualPointer, uk.ac.manchester.cs.factplusplus.ClassPointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.AxiomPointer tellRelatedIndividuals (uk.ac.manchester.cs.factplusplus.IndividualPointer, uk.ac.manchester.cs.factplusplus.ObjectPropertyPointer, uk.ac.manchester.cs.factplusplus.IndividualPointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.AxiomPointer tellNotRelatedIndividuals (uk.ac.manchester.cs.factplusplus.IndividualPointer, uk.ac.manchester.cs.factplusplus.ObjectPropertyPointer, uk.ac.manchester.cs.factplusplus.IndividualPointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.AxiomPointer tellRelatedIndividualValue (uk.ac.manchester.cs.factplusplus.IndividualPointer, uk.ac.manchester.cs.factplusplus.DataPropertyPointer, uk.ac.manchester.cs.factplusplus.DataValuePointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.AxiomPointer tellNotRelatedIndividualValue (uk.ac.manchester.cs.factplusplus.IndividualPointer, uk.ac.manchester.cs.factplusplus.DataPropertyPointer, uk.ac.manchester.cs.factplusplus.DataValuePointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.AxiomPointer tellSameIndividuals ()  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.AxiomPointer tellDifferentIndividuals ()  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native void retract (uk.ac.manchester.cs.factplusplus.AxiomPointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native boolean isKBConsistent ()  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native boolean isClassSatisfiable (uk.ac.manchester.cs.factplusplus.ClassPointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native boolean isClassSubsumedBy (uk.ac.manchester.cs.factplusplus.ClassPointer, uk.ac.manchester.cs.factplusplus.ClassPointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native boolean isClassEquivalentTo (uk.ac.manchester.cs.factplusplus.ClassPointer, uk.ac.manchester.cs.factplusplus.ClassPointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native boolean isClassDisjointWith (uk.ac.manchester.cs.factplusplus.ClassPointer, uk.ac.manchester.cs.factplusplus.ClassPointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.ClassPointer[][] askSubClasses (uk.ac.manchester.cs.factplusplus.ClassPointer, boolean)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.ClassPointer[][] askSuperClasses (uk.ac.manchester.cs.factplusplus.ClassPointer, boolean)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.ClassPointer[] askEquivalentClasses (uk.ac.manchester.cs.factplusplus.ClassPointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.ClassPointer[][] askDisjointClasses (uk.ac.manchester.cs.factplusplus.ClassPointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.ObjectPropertyPointer[][] askSuperObjectProperties (uk.ac.manchester.cs.factplusplus.ObjectPropertyPointer, boolean)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.ObjectPropertyPointer[][] askSubObjectProperties (uk.ac.manchester.cs.factplusplus.ObjectPropertyPointer, boolean)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.ObjectPropertyPointer[] askEquivalentObjectProperties (uk.ac.manchester.cs.factplusplus.ObjectPropertyPointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.ClassPointer[][] askObjectPropertyDomain (uk.ac.manchester.cs.factplusplus.ObjectPropertyPointer, boolean)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.ClassPointer[][] askObjectPropertyRange (uk.ac.manchester.cs.factplusplus.ObjectPropertyPointer, boolean)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native boolean isObjectPropertyFunctional (uk.ac.manchester.cs.factplusplus.ObjectPropertyPointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native boolean isObjectPropertyInverseFunctional (uk.ac.manchester.cs.factplusplus.ObjectPropertyPointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native boolean isObjectPropertySymmetric (uk.ac.manchester.cs.factplusplus.ObjectPropertyPointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native boolean isObjectPropertyAsymmetric (uk.ac.manchester.cs.factplusplus.ObjectPropertyPointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native boolean isObjectPropertyTransitive (uk.ac.manchester.cs.factplusplus.ObjectPropertyPointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native boolean isObjectPropertyReflexive (uk.ac.manchester.cs.factplusplus.ObjectPropertyPointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native boolean isObjectPropertyIrreflexive (uk.ac.manchester.cs.factplusplus.ObjectPropertyPointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native boolean isObjectSubPropertyOf (uk.ac.manchester.cs.factplusplus.ObjectPropertyPointer, uk.ac.manchester.cs.factplusplus.ObjectPropertyPointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native boolean isObjectPropertyDisjointWith (uk.ac.manchester.cs.factplusplus.ObjectPropertyPointer, uk.ac.manchester.cs.factplusplus.ObjectPropertyPointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native boolean isSubPropertyChainOf (uk.ac.manchester.cs.factplusplus.ObjectPropertyPointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native boolean arePropertiesDisjoint ()  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.DataPropertyPointer[][] askSuperDataProperties (uk.ac.manchester.cs.factplusplus.DataPropertyPointer, boolean)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.DataPropertyPointer[][] askSubDataProperties (uk.ac.manchester.cs.factplusplus.DataPropertyPointer, boolean)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.DataPropertyPointer[] askEquivalentDataProperties (uk.ac.manchester.cs.factplusplus.DataPropertyPointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.ClassPointer[][] askDataPropertyDomain (uk.ac.manchester.cs.factplusplus.DataPropertyPointer, boolean)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native boolean isDataPropertyFunctional (uk.ac.manchester.cs.factplusplus.DataPropertyPointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native boolean isDataSubPropertyOf (uk.ac.manchester.cs.factplusplus.DataPropertyPointer, uk.ac.manchester.cs.factplusplus.DataPropertyPointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native boolean isDataPropertyDisjointWith (uk.ac.manchester.cs.factplusplus.DataPropertyPointer, uk.ac.manchester.cs.factplusplus.DataPropertyPointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.ClassPointer[][] askIndividualTypes (uk.ac.manchester.cs.factplusplus.IndividualPointer, boolean)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.ObjectPropertyPointer[] askObjectProperties (uk.ac.manchester.cs.factplusplus.IndividualPointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.IndividualPointer[] askRelatedIndividuals (uk.ac.manchester.cs.factplusplus.IndividualPointer, uk.ac.manchester.cs.factplusplus.ObjectPropertyPointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.DataPropertyPointer[] askDataProperties (uk.ac.manchester.cs.factplusplus.IndividualPointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.DataValuePointer[] askRelatedValues (uk.ac.manchester.cs.factplusplus.IndividualPointer, uk.ac.manchester.cs.factplusplus.DataPropertyPointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native boolean hasDataPropertyRelationship (uk.ac.manchester.cs.factplusplus.IndividualPointer, uk.ac.manchester.cs.factplusplus.DataPropertyPointer, uk.ac.manchester.cs.factplusplus.DataValuePointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native boolean hasObjectPropertyRelationship (uk.ac.manchester.cs.factplusplus.IndividualPointer, uk.ac.manchester.cs.factplusplus.ObjectPropertyPointer, uk.ac.manchester.cs.factplusplus.IndividualPointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native boolean isInstanceOf (uk.ac.manchester.cs.factplusplus.IndividualPointer, uk.ac.manchester.cs.factplusplus.ClassPointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.IndividualPointer[] askInstances (uk.ac.manchester.cs.factplusplus.ClassPointer, boolean)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.IndividualPointer[][] askInstancesGrouped (uk.ac.manchester.cs.factplusplus.ClassPointer, boolean)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.IndividualPointer[] askSameAs (uk.ac.manchester.cs.factplusplus.IndividualPointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native boolean isSameAs (uk.ac.manchester.cs.factplusplus.IndividualPointer, uk.ac.manchester.cs.factplusplus.IndividualPointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native uk.ac.manchester.cs.factplusplus.IndividualPointer[] getDataRelatedIndividuals (uk.ac.manchester.cs.factplusplus.DataPropertyPointer, uk.ac.manchester.cs.factplusplus.DataPropertyPointer, int)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native void setOperationTimeout (long) 
	public native void setFreshEntityPolicy (boolean) 
	public native void setProgressMonitor (uk.ac.manchester.cs.factplusplus.FaCTPlusPlusProgressMonitor)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native void startChanges () 
	public native void endChanges () 
	public native void initArgList ()  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native void addArg (uk.ac.manchester.cs.factplusplus.Pointer)  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native void closeArgList ()  throws uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException 
	public native void needTracing () 
	public native uk.ac.manchester.cs.factplusplus.AxiomPointer[] getTrace () 
	public native uk.ac.manchester.cs.factplusplus.NodePointer buildCompletionTree (uk.ac.manchester.cs.factplusplus.ClassPointer) 
	public native uk.ac.manchester.cs.factplusplus.ObjectPropertyPointer[] getObjectNeighbours (uk.ac.manchester.cs.factplusplus.NodePointer, boolean) 
	public native uk.ac.manchester.cs.factplusplus.DataPropertyPointer[] getDataNeighbours (uk.ac.manchester.cs.factplusplus.NodePointer, boolean) 
	public native uk.ac.manchester.cs.factplusplus.NodePointer[] getObjectNeighbours (uk.ac.manchester.cs.factplusplus.NodePointer, uk.ac.manchester.cs.factplusplus.ObjectPropertyPointer) 
	public native uk.ac.manchester.cs.factplusplus.NodePointer[] getDataNeighbours (uk.ac.manchester.cs.factplusplus.NodePointer, uk.ac.manchester.cs.factplusplus.DataPropertyPointer) 
	public native uk.ac.manchester.cs.factplusplus.ClassPointer[] getObjectLabel (uk.ac.manchester.cs.factplusplus.NodePointer, boolean) 
	public native uk.ac.manchester.cs.factplusplus.DataTypePointer[] getDataLabel (uk.ac.manchester.cs.factplusplus.NodePointer, boolean) 
	public native uk.ac.manchester.cs.factplusplus.NodePointer getBlocker (uk.ac.manchester.cs.factplusplus.NodePointer) 
	public native int getAtomicDecompositionSize (boolean, int) 
	public native uk.ac.manchester.cs.factplusplus.AxiomPointer[] getAtomAxioms (int) 
	public native uk.ac.manchester.cs.factplusplus.AxiomPointer[] getAtomModule (int) 
	public native int[] getAtomDependents (int) 
	public native int getLocCheckNumber () 
	public native uk.ac.manchester.cs.factplusplus.AxiomPointer[] getModule (boolean, int) 
	public native uk.ac.manchester.cs.factplusplus.AxiomPointer[] getNonLocal (boolean, int) 
	public native boolean checkSaveLoadContext (java.lang.String) 
	public native boolean setSaveLoadContext (java.lang.String) 
	public native boolean clearSaveLoadContext (java.lang.String) 
	static void <clinit> () 
}

uk/ac/manchester/cs/factplusplus/FaCTPlusPlusException.class
<Unknown>
package uk.ac.manchester.cs.factplusplus
public uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException extends org.semanticweb.owlapi.model.OWLRuntimeException {
	public void <init> (java.lang.String) 
	public void <init> (java.lang.String, java.lang.Throwable) 
	public void <init> (java.lang.Throwable) 
}

uk/ac/manchester/cs/factplusplus/FaCTPlusPlusProgressMonitor.class
<Unknown>
package uk.ac.manchester.cs.factplusplus
public abstract uk.ac.manchester.cs.factplusplus.FaCTPlusPlusProgressMonitor extends java.lang.Object {
	public abstract void setClassificationStarted (int) 
	public abstract void nextClass () 
	public abstract void setFinished () 
	public abstract boolean isCancelled () 
}

uk/ac/manchester/cs/factplusplus/IndividualPointer.class
<Unknown>
package uk.ac.manchester.cs.factplusplus
public uk.ac.manchester.cs.factplusplus.IndividualPointer extends uk.ac.manchester.cs.factplusplus.Pointer {
	public void <init> () 
}

uk/ac/manchester/cs/factplusplus/NodePointer.class
<Unknown>
package uk.ac.manchester.cs.factplusplus
public uk.ac.manchester.cs.factplusplus.NodePointer extends uk.ac.manchester.cs.factplusplus.Pointer {
	public void <init> () 
}

uk/ac/manchester/cs/factplusplus/ObjectPropertyPointer.class
<Unknown>
package uk.ac.manchester.cs.factplusplus
public uk.ac.manchester.cs.factplusplus.ObjectPropertyPointer extends uk.ac.manchester.cs.factplusplus.Pointer {
	public void <init> () 
}

uk/ac/manchester/cs/factplusplus/owlapiv3/
uk/ac/manchester/cs/factplusplus/owlapiv3/FaCTPlusPlusReasoner$1.class
<Unknown>
package uk.ac.manchester.cs.factplusplus.owlapiv3
synthetic uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner$1 extends java.lang.Object {
}

uk/ac/manchester/cs/factplusplus/owlapiv3/FaCTPlusPlusReasoner$AxiomTranslator$DeclarationVisitorEx.class
<Unknown>
package uk.ac.manchester.cs.factplusplus.owlapiv3
final uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner$AxiomTranslator$DeclarationVisitorEx extends java.lang.Object implements org.semanticweb.owlapi.model.OWLEntityVisitorEx  {
	final synthetic uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner$AxiomTranslator this$1
	private void <init> (uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner$AxiomTranslator) 
	public uk.ac.manchester.cs.factplusplus.AxiomPointer visit (org.semanticweb.owlapi.model.OWLClass) 
	public uk.ac.manchester.cs.factplusplus.AxiomPointer visit (org.semanticweb.owlapi.model.OWLObjectProperty) 
	public uk.ac.manchester.cs.factplusplus.AxiomPointer visit (org.semanticweb.owlapi.model.OWLDataProperty) 
	public uk.ac.manchester.cs.factplusplus.AxiomPointer visit (org.semanticweb.owlapi.model.OWLNamedIndividual) 
	public uk.ac.manchester.cs.factplusplus.AxiomPointer visit (org.semanticweb.owlapi.model.OWLDatatype) 
	public uk.ac.manchester.cs.factplusplus.AxiomPointer visit (org.semanticweb.owlapi.model.OWLAnnotationProperty) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLAnnotationProperty) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLDatatype) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLNamedIndividual) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLDataProperty) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLObjectProperty) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLClass) 
	synthetic void <init> (uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner$AxiomTranslator, uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner$1) 
}

uk/ac/manchester/cs/factplusplus/owlapiv3/FaCTPlusPlusReasoner$AxiomTranslator.class
<Unknown>
package uk.ac.manchester.cs.factplusplus.owlapiv3
 uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner$AxiomTranslator extends java.lang.Object implements org.semanticweb.owlapi.model.OWLAxiomVisitorEx  {
	private final uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner$AxiomTranslator$DeclarationVisitorEx v
	final synthetic uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner this$0
	public void <init> (uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner) 
	public uk.ac.manchester.cs.factplusplus.AxiomPointer visit (org.semanticweb.owlapi.model.OWLSubClassOfAxiom) 
	public uk.ac.manchester.cs.factplusplus.AxiomPointer visit (org.semanticweb.owlapi.model.OWLNegativeObjectPropertyAssertionAxiom) 
	public uk.ac.manchester.cs.factplusplus.AxiomPointer visit (org.semanticweb.owlapi.model.OWLAsymmetricObjectPropertyAxiom) 
	public uk.ac.manchester.cs.factplusplus.AxiomPointer visit (org.semanticweb.owlapi.model.OWLReflexiveObjectPropertyAxiom) 
	public uk.ac.manchester.cs.factplusplus.AxiomPointer visit (org.semanticweb.owlapi.model.OWLDisjointClassesAxiom) 
	private void translateClassExpressionSet (java.util.Collection) 
	public uk.ac.manchester.cs.factplusplus.AxiomPointer visit (org.semanticweb.owlapi.model.OWLDataPropertyDomainAxiom) 
	public uk.ac.manchester.cs.factplusplus.AxiomPointer visit (org.semanticweb.owlapi.model.OWLObjectPropertyDomainAxiom) 
	public uk.ac.manchester.cs.factplusplus.AxiomPointer visit (org.semanticweb.owlapi.model.OWLEquivalentObjectPropertiesAxiom) 
	private void translateObjectPropertySet (java.util.Collection) 
	public uk.ac.manchester.cs.factplusplus.AxiomPointer visit (org.semanticweb.owlapi.model.OWLNegativeDataPropertyAssertionAxiom) 
	public uk.ac.manchester.cs.factplusplus.AxiomPointer visit (org.semanticweb.owlapi.model.OWLDifferentIndividualsAxiom) 
	public uk.ac.manchester.cs.factplusplus.AxiomPointer visit (org.semanticweb.owlapi.model.OWLDisjointDataPropertiesAxiom) 
	private void translateDataPropertySet (java.util.Set) 
	public uk.ac.manchester.cs.factplusplus.AxiomPointer visit (org.semanticweb.owlapi.model.OWLDisjointObjectPropertiesAxiom) 
	public uk.ac.manchester.cs.factplusplus.AxiomPointer visit (org.semanticweb.owlapi.model.OWLObjectPropertyRangeAxiom) 
	public uk.ac.manchester.cs.factplusplus.AxiomPointer visit (org.semanticweb.owlapi.model.OWLObjectPropertyAssertionAxiom) 
	public uk.ac.manchester.cs.factplusplus.AxiomPointer visit (org.semanticweb.owlapi.model.OWLFunctionalObjectPropertyAxiom) 
	public uk.ac.manchester.cs.factplusplus.AxiomPointer visit (org.semanticweb.owlapi.model.OWLSubObjectPropertyOfAxiom) 
	public uk.ac.manchester.cs.factplusplus.AxiomPointer visit (org.semanticweb.owlapi.model.OWLDisjointUnionAxiom) 
	public uk.ac.manchester.cs.factplusplus.AxiomPointer visit (org.semanticweb.owlapi.model.OWLDeclarationAxiom) 
	public uk.ac.manchester.cs.factplusplus.AxiomPointer visit (org.semanticweb.owlapi.model.OWLAnnotationAssertionAxiom) 
	public uk.ac.manchester.cs.factplusplus.AxiomPointer visit (org.semanticweb.owlapi.model.OWLSymmetricObjectPropertyAxiom) 
	public uk.ac.manchester.cs.factplusplus.AxiomPointer visit (org.semanticweb.owlapi.model.OWLDataPropertyRangeAxiom) 
	public uk.ac.manchester.cs.factplusplus.AxiomPointer visit (org.semanticweb.owlapi.model.OWLFunctionalDataPropertyAxiom) 
	public uk.ac.manchester.cs.factplusplus.AxiomPointer visit (org.semanticweb.owlapi.model.OWLEquivalentDataPropertiesAxiom) 
	public uk.ac.manchester.cs.factplusplus.AxiomPointer visit (org.semanticweb.owlapi.model.OWLClassAssertionAxiom) 
	public uk.ac.manchester.cs.factplusplus.AxiomPointer visit (org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom) 
	public uk.ac.manchester.cs.factplusplus.AxiomPointer visit (org.semanticweb.owlapi.model.OWLDataPropertyAssertionAxiom) 
	public uk.ac.manchester.cs.factplusplus.AxiomPointer visit (org.semanticweb.owlapi.model.OWLTransitiveObjectPropertyAxiom) 
	public uk.ac.manchester.cs.factplusplus.AxiomPointer visit (org.semanticweb.owlapi.model.OWLIrreflexiveObjectPropertyAxiom) 
	public uk.ac.manchester.cs.factplusplus.AxiomPointer visit (org.semanticweb.owlapi.model.OWLSubDataPropertyOfAxiom) 
	public uk.ac.manchester.cs.factplusplus.AxiomPointer visit (org.semanticweb.owlapi.model.OWLInverseFunctionalObjectPropertyAxiom) 
	public uk.ac.manchester.cs.factplusplus.AxiomPointer visit (org.semanticweb.owlapi.model.OWLSameIndividualAxiom) 
	public uk.ac.manchester.cs.factplusplus.AxiomPointer visit (org.semanticweb.owlapi.model.OWLSubPropertyChainOfAxiom) 
	public uk.ac.manchester.cs.factplusplus.AxiomPointer visit (org.semanticweb.owlapi.model.OWLInverseObjectPropertiesAxiom) 
	public uk.ac.manchester.cs.factplusplus.AxiomPointer visit (org.semanticweb.owlapi.model.OWLHasKeyAxiom) 
	public uk.ac.manchester.cs.factplusplus.AxiomPointer visit (org.semanticweb.owlapi.model.OWLDatatypeDefinitionAxiom) 
	public uk.ac.manchester.cs.factplusplus.AxiomPointer visit (org.semanticweb.owlapi.model.SWRLRule) 
	public uk.ac.manchester.cs.factplusplus.AxiomPointer visit (org.semanticweb.owlapi.model.OWLSubAnnotationPropertyOfAxiom) 
	public uk.ac.manchester.cs.factplusplus.AxiomPointer visit (org.semanticweb.owlapi.model.OWLAnnotationPropertyDomainAxiom) 
	public uk.ac.manchester.cs.factplusplus.AxiomPointer visit (org.semanticweb.owlapi.model.OWLAnnotationPropertyRangeAxiom) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.SWRLRule) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLDatatypeDefinitionAxiom) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLHasKeyAxiom) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLInverseObjectPropertiesAxiom) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLSubPropertyChainOfAxiom) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLSameIndividualAxiom) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLInverseFunctionalObjectPropertyAxiom) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLSubDataPropertyOfAxiom) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLIrreflexiveObjectPropertyAxiom) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLTransitiveObjectPropertyAxiom) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLDataPropertyAssertionAxiom) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLClassAssertionAxiom) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLEquivalentDataPropertiesAxiom) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLFunctionalDataPropertyAxiom) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLDataPropertyRangeAxiom) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLSymmetricObjectPropertyAxiom) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLAnnotationAssertionAxiom) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLDeclarationAxiom) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLDisjointUnionAxiom) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLSubObjectPropertyOfAxiom) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLFunctionalObjectPropertyAxiom) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLObjectPropertyAssertionAxiom) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLObjectPropertyRangeAxiom) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLDisjointObjectPropertiesAxiom) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLDisjointDataPropertiesAxiom) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLDifferentIndividualsAxiom) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLNegativeDataPropertyAssertionAxiom) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLEquivalentObjectPropertiesAxiom) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLObjectPropertyDomainAxiom) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLDataPropertyDomainAxiom) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLDisjointClassesAxiom) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLReflexiveObjectPropertyAxiom) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLAsymmetricObjectPropertyAxiom) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLNegativeObjectPropertyAssertionAxiom) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLSubClassOfAxiom) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLAnnotationPropertyRangeAxiom) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLAnnotationPropertyDomainAxiom) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLSubAnnotationPropertyOfAxiom) 
}

uk/ac/manchester/cs/factplusplus/owlapiv3/FaCTPlusPlusReasoner$ClassExpressionTranslator.class
<Unknown>
package uk.ac.manchester.cs.factplusplus.owlapiv3
 uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner$ClassExpressionTranslator extends uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner$OWLEntityTranslator implements org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx  {
	final synthetic uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner this$0
	public void <init> (uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner) 
	protected uk.ac.manchester.cs.factplusplus.ClassPointer getTopEntityPointer () 
	protected uk.ac.manchester.cs.factplusplus.ClassPointer getBottomEntityPointer () 
	protected org.semanticweb.owlapi.model.OWLClass getTopEntity () 
	protected org.semanticweb.owlapi.model.OWLClass getBottomEntity () 
	protected uk.ac.manchester.cs.factplusplus.ClassPointer createPointerForEntity (org.semanticweb.owlapi.model.OWLClass) 
	protected org.semanticweb.owlapi.reasoner.impl.DefaultNode createDefaultNode () 
	protected org.semanticweb.owlapi.reasoner.impl.DefaultNodeSet createDefaultNodeSet () 
	public uk.ac.manchester.cs.factplusplus.ClassPointer visit (org.semanticweb.owlapi.model.OWLClass) 
	public uk.ac.manchester.cs.factplusplus.ClassPointer visit (org.semanticweb.owlapi.model.OWLObjectIntersectionOf) 
	private void translateClassExpressionSet (java.util.Set) 
	public uk.ac.manchester.cs.factplusplus.ClassPointer visit (org.semanticweb.owlapi.model.OWLObjectUnionOf) 
	public uk.ac.manchester.cs.factplusplus.ClassPointer visit (org.semanticweb.owlapi.model.OWLObjectComplementOf) 
	public uk.ac.manchester.cs.factplusplus.ClassPointer visit (org.semanticweb.owlapi.model.OWLObjectSomeValuesFrom) 
	public uk.ac.manchester.cs.factplusplus.ClassPointer visit (org.semanticweb.owlapi.model.OWLObjectAllValuesFrom) 
	public uk.ac.manchester.cs.factplusplus.ClassPointer visit (org.semanticweb.owlapi.model.OWLObjectHasValue) 
	public uk.ac.manchester.cs.factplusplus.ClassPointer visit (org.semanticweb.owlapi.model.OWLObjectMinCardinality) 
	public uk.ac.manchester.cs.factplusplus.ClassPointer visit (org.semanticweb.owlapi.model.OWLObjectExactCardinality) 
	public uk.ac.manchester.cs.factplusplus.ClassPointer visit (org.semanticweb.owlapi.model.OWLObjectMaxCardinality) 
	public uk.ac.manchester.cs.factplusplus.ClassPointer visit (org.semanticweb.owlapi.model.OWLObjectHasSelf) 
	public uk.ac.manchester.cs.factplusplus.ClassPointer visit (org.semanticweb.owlapi.model.OWLObjectOneOf) 
	public uk.ac.manchester.cs.factplusplus.ClassPointer visit (org.semanticweb.owlapi.model.OWLDataSomeValuesFrom) 
	public uk.ac.manchester.cs.factplusplus.ClassPointer visit (org.semanticweb.owlapi.model.OWLDataAllValuesFrom) 
	public uk.ac.manchester.cs.factplusplus.ClassPointer visit (org.semanticweb.owlapi.model.OWLDataHasValue) 
	public uk.ac.manchester.cs.factplusplus.ClassPointer visit (org.semanticweb.owlapi.model.OWLDataMinCardinality) 
	public uk.ac.manchester.cs.factplusplus.ClassPointer visit (org.semanticweb.owlapi.model.OWLDataExactCardinality) 
	public uk.ac.manchester.cs.factplusplus.ClassPointer visit (org.semanticweb.owlapi.model.OWLDataMaxCardinality) 
	protected volatile synthetic org.semanticweb.owlapi.model.OWLObject getBottomEntity () 
	protected volatile synthetic org.semanticweb.owlapi.model.OWLObject getTopEntity () 
	protected volatile synthetic uk.ac.manchester.cs.factplusplus.Pointer createPointerForEntity (org.semanticweb.owlapi.model.OWLObject) 
	protected volatile synthetic uk.ac.manchester.cs.factplusplus.Pointer getBottomEntityPointer () 
	protected volatile synthetic uk.ac.manchester.cs.factplusplus.Pointer getTopEntityPointer () 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLDataMaxCardinality) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLDataExactCardinality) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLDataMinCardinality) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLDataHasValue) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLDataAllValuesFrom) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLDataSomeValuesFrom) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLObjectOneOf) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLObjectHasSelf) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLObjectMaxCardinality) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLObjectExactCardinality) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLObjectMinCardinality) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLObjectHasValue) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLObjectAllValuesFrom) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLObjectSomeValuesFrom) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLObjectComplementOf) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLObjectUnionOf) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLObjectIntersectionOf) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLClass) 
}

uk/ac/manchester/cs/factplusplus/owlapiv3/FaCTPlusPlusReasoner$DataPropertyTranslator.class
<Unknown>
package uk.ac.manchester.cs.factplusplus.owlapiv3
 uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner$DataPropertyTranslator extends uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner$OWLEntityTranslator {
	final synthetic uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner this$0
	public void <init> (uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner) 
	protected uk.ac.manchester.cs.factplusplus.DataPropertyPointer getTopEntityPointer () 
	protected uk.ac.manchester.cs.factplusplus.DataPropertyPointer getBottomEntityPointer () 
	protected uk.ac.manchester.cs.factplusplus.DataPropertyPointer createPointerForEntity (org.semanticweb.owlapi.model.OWLDataProperty) 
	protected org.semanticweb.owlapi.model.OWLDataProperty getTopEntity () 
	protected org.semanticweb.owlapi.model.OWLDataProperty getBottomEntity () 
	protected org.semanticweb.owlapi.reasoner.impl.DefaultNode createDefaultNode () 
	protected org.semanticweb.owlapi.reasoner.impl.DefaultNodeSet createDefaultNodeSet () 
	protected volatile synthetic org.semanticweb.owlapi.model.OWLObject getBottomEntity () 
	protected volatile synthetic org.semanticweb.owlapi.model.OWLObject getTopEntity () 
	protected volatile synthetic uk.ac.manchester.cs.factplusplus.Pointer createPointerForEntity (org.semanticweb.owlapi.model.OWLObject) 
	protected volatile synthetic uk.ac.manchester.cs.factplusplus.Pointer getBottomEntityPointer () 
	protected volatile synthetic uk.ac.manchester.cs.factplusplus.Pointer getTopEntityPointer () 
}

uk/ac/manchester/cs/factplusplus/owlapiv3/FaCTPlusPlusReasoner$DataRangeTranslator.class
<Unknown>
package uk.ac.manchester.cs.factplusplus.owlapiv3
 uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner$DataRangeTranslator extends uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner$OWLEntityTranslator implements org.semanticweb.owlapi.model.OWLDataRangeVisitorEx  {
	final synthetic uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner this$0
	public void <init> (uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner) 
	protected uk.ac.manchester.cs.factplusplus.DataTypePointer getTopEntityPointer () 
	protected uk.ac.manchester.cs.factplusplus.DataTypePointer getBottomEntityPointer () 
	protected org.semanticweb.owlapi.reasoner.impl.DefaultNode createDefaultNode () 
	protected org.semanticweb.owlapi.model.OWLDatatype getTopEntity () 
	protected org.semanticweb.owlapi.model.OWLDatatype getBottomEntity () 
	protected org.semanticweb.owlapi.reasoner.impl.DefaultNodeSet createDefaultNodeSet () 
	protected uk.ac.manchester.cs.factplusplus.DataTypePointer createPointerForEntity (org.semanticweb.owlapi.model.OWLDatatype) 
	public uk.ac.manchester.cs.factplusplus.DataTypeExpressionPointer visit (org.semanticweb.owlapi.model.OWLDatatype) 
	public uk.ac.manchester.cs.factplusplus.DataTypeExpressionPointer visit (org.semanticweb.owlapi.model.OWLDataOneOf) 
	public uk.ac.manchester.cs.factplusplus.DataTypeExpressionPointer visit (org.semanticweb.owlapi.model.OWLDataComplementOf) 
	public uk.ac.manchester.cs.factplusplus.DataTypeExpressionPointer visit (org.semanticweb.owlapi.model.OWLDataIntersectionOf) 
	private void translateDataRangeSet (java.util.Set) 
	public uk.ac.manchester.cs.factplusplus.DataTypeExpressionPointer visit (org.semanticweb.owlapi.model.OWLDataUnionOf) 
	public uk.ac.manchester.cs.factplusplus.DataTypeExpressionPointer visit (org.semanticweb.owlapi.model.OWLDatatypeRestriction) 
	protected volatile synthetic org.semanticweb.owlapi.model.OWLObject getBottomEntity () 
	protected volatile synthetic org.semanticweb.owlapi.model.OWLObject getTopEntity () 
	protected volatile synthetic uk.ac.manchester.cs.factplusplus.Pointer createPointerForEntity (org.semanticweb.owlapi.model.OWLObject) 
	protected volatile synthetic uk.ac.manchester.cs.factplusplus.Pointer getBottomEntityPointer () 
	protected volatile synthetic uk.ac.manchester.cs.factplusplus.Pointer getTopEntityPointer () 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLDatatypeRestriction) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLDataUnionOf) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLDataIntersectionOf) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLDataComplementOf) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLDataOneOf) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLDatatype) 
}

uk/ac/manchester/cs/factplusplus/owlapiv3/FaCTPlusPlusReasoner$EntailmentChecker.class
<Unknown>
package uk.ac.manchester.cs.factplusplus.owlapiv3
 uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner$EntailmentChecker extends java.lang.Object implements org.semanticweb.owlapi.model.OWLAxiomVisitorEx  {
	final synthetic uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner this$0
	public void <init> (uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner) 
	public java.lang.Boolean visit (org.semanticweb.owlapi.model.OWLSubClassOfAxiom) 
	public java.lang.Boolean visit (org.semanticweb.owlapi.model.OWLNegativeObjectPropertyAssertionAxiom) 
	public java.lang.Boolean visit (org.semanticweb.owlapi.model.OWLAsymmetricObjectPropertyAxiom) 
	public java.lang.Boolean visit (org.semanticweb.owlapi.model.OWLReflexiveObjectPropertyAxiom) 
	public java.lang.Boolean visit (org.semanticweb.owlapi.model.OWLDisjointClassesAxiom) 
	public java.lang.Boolean visit (org.semanticweb.owlapi.model.OWLDataPropertyDomainAxiom) 
	public java.lang.Boolean visit (org.semanticweb.owlapi.model.OWLObjectPropertyDomainAxiom) 
	public java.lang.Boolean visit (org.semanticweb.owlapi.model.OWLEquivalentObjectPropertiesAxiom) 
	public java.lang.Boolean visit (org.semanticweb.owlapi.model.OWLNegativeDataPropertyAssertionAxiom) 
	public java.lang.Boolean visit (org.semanticweb.owlapi.model.OWLDifferentIndividualsAxiom) 
	public java.lang.Boolean visit (org.semanticweb.owlapi.model.OWLDisjointDataPropertiesAxiom) 
	public java.lang.Boolean visit (org.semanticweb.owlapi.model.OWLDisjointObjectPropertiesAxiom) 
	public java.lang.Boolean visit (org.semanticweb.owlapi.model.OWLObjectPropertyRangeAxiom) 
	public java.lang.Boolean visit (org.semanticweb.owlapi.model.OWLObjectPropertyAssertionAxiom) 
	public java.lang.Boolean visit (org.semanticweb.owlapi.model.OWLFunctionalObjectPropertyAxiom) 
	public java.lang.Boolean visit (org.semanticweb.owlapi.model.OWLSubObjectPropertyOfAxiom) 
	public java.lang.Boolean visit (org.semanticweb.owlapi.model.OWLDisjointUnionAxiom) 
	public java.lang.Boolean visit (org.semanticweb.owlapi.model.OWLDeclarationAxiom) 
	public java.lang.Boolean visit (org.semanticweb.owlapi.model.OWLAnnotationAssertionAxiom) 
	public java.lang.Boolean visit (org.semanticweb.owlapi.model.OWLSymmetricObjectPropertyAxiom) 
	public java.lang.Boolean visit (org.semanticweb.owlapi.model.OWLDataPropertyRangeAxiom) 
	public java.lang.Boolean visit (org.semanticweb.owlapi.model.OWLFunctionalDataPropertyAxiom) 
	public java.lang.Boolean visit (org.semanticweb.owlapi.model.OWLEquivalentDataPropertiesAxiom) 
	public java.lang.Boolean visit (org.semanticweb.owlapi.model.OWLClassAssertionAxiom) 
	public java.lang.Boolean visit (org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom) 
	public java.lang.Boolean visit (org.semanticweb.owlapi.model.OWLDataPropertyAssertionAxiom) 
	public java.lang.Boolean visit (org.semanticweb.owlapi.model.OWLTransitiveObjectPropertyAxiom) 
	public java.lang.Boolean visit (org.semanticweb.owlapi.model.OWLIrreflexiveObjectPropertyAxiom) 
	public java.lang.Boolean visit (org.semanticweb.owlapi.model.OWLSubDataPropertyOfAxiom) 
	public java.lang.Boolean visit (org.semanticweb.owlapi.model.OWLInverseFunctionalObjectPropertyAxiom) 
	public java.lang.Boolean visit (org.semanticweb.owlapi.model.OWLSameIndividualAxiom) 
	public java.lang.Boolean visit (org.semanticweb.owlapi.model.OWLSubPropertyChainOfAxiom) 
	public java.lang.Boolean visit (org.semanticweb.owlapi.model.OWLInverseObjectPropertiesAxiom) 
	public java.lang.Boolean visit (org.semanticweb.owlapi.model.OWLHasKeyAxiom) 
	public java.lang.Boolean visit (org.semanticweb.owlapi.model.OWLDatatypeDefinitionAxiom) 
	public java.lang.Boolean visit (org.semanticweb.owlapi.model.SWRLRule) 
	public java.lang.Boolean visit (org.semanticweb.owlapi.model.OWLSubAnnotationPropertyOfAxiom) 
	public java.lang.Boolean visit (org.semanticweb.owlapi.model.OWLAnnotationPropertyDomainAxiom) 
	public java.lang.Boolean visit (org.semanticweb.owlapi.model.OWLAnnotationPropertyRangeAxiom) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.SWRLRule) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLDatatypeDefinitionAxiom) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLHasKeyAxiom) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLInverseObjectPropertiesAxiom) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLSubPropertyChainOfAxiom) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLSameIndividualAxiom) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLInverseFunctionalObjectPropertyAxiom) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLSubDataPropertyOfAxiom) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLIrreflexiveObjectPropertyAxiom) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLTransitiveObjectPropertyAxiom) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLDataPropertyAssertionAxiom) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLClassAssertionAxiom) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLEquivalentDataPropertiesAxiom) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLFunctionalDataPropertyAxiom) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLDataPropertyRangeAxiom) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLSymmetricObjectPropertyAxiom) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLAnnotationAssertionAxiom) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLDeclarationAxiom) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLDisjointUnionAxiom) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLSubObjectPropertyOfAxiom) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLFunctionalObjectPropertyAxiom) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLObjectPropertyAssertionAxiom) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLObjectPropertyRangeAxiom) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLDisjointObjectPropertiesAxiom) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLDisjointDataPropertiesAxiom) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLDifferentIndividualsAxiom) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLNegativeDataPropertyAssertionAxiom) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLEquivalentObjectPropertiesAxiom) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLObjectPropertyDomainAxiom) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLDataPropertyDomainAxiom) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLDisjointClassesAxiom) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLReflexiveObjectPropertyAxiom) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLAsymmetricObjectPropertyAxiom) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLNegativeObjectPropertyAssertionAxiom) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLSubClassOfAxiom) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLAnnotationPropertyRangeAxiom) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLAnnotationPropertyDomainAxiom) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLSubAnnotationPropertyOfAxiom) 
}

uk/ac/manchester/cs/factplusplus/owlapiv3/FaCTPlusPlusReasoner$EntityVisitorEx.class
<Unknown>
package uk.ac.manchester.cs.factplusplus.owlapiv3
final uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner$EntityVisitorEx extends java.lang.Object implements org.semanticweb.owlapi.model.OWLEntityVisitorEx  {
	final synthetic uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner this$0
	private void <init> (uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner) 
	public uk.ac.manchester.cs.factplusplus.Pointer visit (org.semanticweb.owlapi.model.OWLClass) 
	public uk.ac.manchester.cs.factplusplus.Pointer visit (org.semanticweb.owlapi.model.OWLObjectProperty) 
	public uk.ac.manchester.cs.factplusplus.Pointer visit (org.semanticweb.owlapi.model.OWLDataProperty) 
	public uk.ac.manchester.cs.factplusplus.Pointer visit (org.semanticweb.owlapi.model.OWLNamedIndividual) 
	public uk.ac.manchester.cs.factplusplus.Pointer visit (org.semanticweb.owlapi.model.OWLDatatype) 
	public uk.ac.manchester.cs.factplusplus.Pointer visit (org.semanticweb.owlapi.model.OWLAnnotationProperty) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLAnnotationProperty) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLDatatype) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLNamedIndividual) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLDataProperty) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLObjectProperty) 
	public volatile synthetic java.lang.Object visit (org.semanticweb.owlapi.model.OWLClass) 
	synthetic void <init> (uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner, uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner$1) 
}

uk/ac/manchester/cs/factplusplus/owlapiv3/FaCTPlusPlusReasoner$IndividualTranslator.class
<Unknown>
package uk.ac.manchester.cs.factplusplus.owlapiv3
 uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner$IndividualTranslator extends uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner$OWLEntityTranslator {
	final synthetic uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner this$0
	public void <init> (uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner) 
	protected uk.ac.manchester.cs.factplusplus.IndividualPointer getTopEntityPointer () 
	protected uk.ac.manchester.cs.factplusplus.IndividualPointer getBottomEntityPointer () 
	protected uk.ac.manchester.cs.factplusplus.IndividualPointer createPointerForEntity (org.semanticweb.owlapi.model.OWLNamedIndividual) 
	protected org.semanticweb.owlapi.model.OWLNamedIndividual getTopEntity () 
	protected org.semanticweb.owlapi.model.OWLNamedIndividual getBottomEntity () 
	protected org.semanticweb.owlapi.reasoner.impl.DefaultNode createDefaultNode () 
	protected org.semanticweb.owlapi.reasoner.impl.DefaultNodeSet createDefaultNodeSet () 
	protected volatile synthetic org.semanticweb.owlapi.model.OWLObject getBottomEntity () 
	protected volatile synthetic org.semanticweb.owlapi.model.OWLObject getTopEntity () 
	protected volatile synthetic uk.ac.manchester.cs.factplusplus.Pointer createPointerForEntity (org.semanticweb.owlapi.model.OWLObject) 
	protected volatile synthetic uk.ac.manchester.cs.factplusplus.Pointer getBottomEntityPointer () 
	protected volatile synthetic uk.ac.manchester.cs.factplusplus.Pointer getTopEntityPointer () 
}

uk/ac/manchester/cs/factplusplus/owlapiv3/FaCTPlusPlusReasoner$ObjectPropertyTranslator.class
<Unknown>
package uk.ac.manchester.cs.factplusplus.owlapiv3
 uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner$ObjectPropertyTranslator extends uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner$OWLEntityTranslator {
	final synthetic uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner this$0
	public void <init> (uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner) 
	protected uk.ac.manchester.cs.factplusplus.ObjectPropertyPointer getTopEntityPointer () 
	protected uk.ac.manchester.cs.factplusplus.ObjectPropertyPointer getBottomEntityPointer () 
	protected uk.ac.manchester.cs.factplusplus.ObjectPropertyPointer registerNewEntity (org.semanticweb.owlapi.model.OWLObjectPropertyExpression) 
	protected uk.ac.manchester.cs.factplusplus.ObjectPropertyPointer createPointerForEntity (org.semanticweb.owlapi.model.OWLObjectPropertyExpression) 
	protected org.semanticweb.owlapi.model.OWLObjectProperty getTopEntity () 
	protected org.semanticweb.owlapi.model.OWLObjectProperty getBottomEntity () 
	protected org.semanticweb.owlapi.reasoner.impl.DefaultNode createDefaultNode () 
	protected org.semanticweb.owlapi.reasoner.impl.DefaultNodeSet createDefaultNodeSet () 
	protected volatile synthetic org.semanticweb.owlapi.model.OWLObject getBottomEntity () 
	protected volatile synthetic org.semanticweb.owlapi.model.OWLObject getTopEntity () 
	protected volatile synthetic uk.ac.manchester.cs.factplusplus.Pointer createPointerForEntity (org.semanticweb.owlapi.model.OWLObject) 
	protected volatile synthetic uk.ac.manchester.cs.factplusplus.Pointer getBottomEntityPointer () 
	protected volatile synthetic uk.ac.manchester.cs.factplusplus.Pointer getTopEntityPointer () 
	protected volatile synthetic uk.ac.manchester.cs.factplusplus.Pointer registerNewEntity (org.semanticweb.owlapi.model.OWLObject) 
}

uk/ac/manchester/cs/factplusplus/owlapiv3/FaCTPlusPlusReasoner$OWLEntityTranslator.class
<Unknown>
package uk.ac.manchester.cs.factplusplus.owlapiv3
abstract uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner$OWLEntityTranslator extends java.lang.Object {
	private final java.util.Map entity2PointerMap
	protected final java.util.Map pointer2EntityMap
	final synthetic uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner this$0
	protected void fillEntityPointerMaps (org.semanticweb.owlapi.model.OWLObject, uk.ac.manchester.cs.factplusplus.Pointer) 
	protected void <init> (uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner) 
	protected uk.ac.manchester.cs.factplusplus.Pointer registerNewEntity (org.semanticweb.owlapi.model.OWLObject) 
	public org.semanticweb.owlapi.model.OWLObject getEntityFromPointer (uk.ac.manchester.cs.factplusplus.Pointer) 
	public uk.ac.manchester.cs.factplusplus.Pointer getPointerFromEntity (org.semanticweb.owlapi.model.OWLObject) 
	public org.semanticweb.owlapi.reasoner.Node getNodeFromPointers (uk.ac.manchester.cs.factplusplus.Pointer[]) 
	public org.semanticweb.owlapi.reasoner.NodeSet getNodeSetFromPointers (uk.ac.manchester.cs.factplusplus.Pointer[][]) 
	protected abstract org.semanticweb.owlapi.reasoner.impl.DefaultNode createDefaultNode () 
	protected abstract org.semanticweb.owlapi.reasoner.impl.DefaultNodeSet createDefaultNodeSet () 
	protected abstract uk.ac.manchester.cs.factplusplus.Pointer getTopEntityPointer () 
	protected abstract uk.ac.manchester.cs.factplusplus.Pointer getBottomEntityPointer () 
	protected abstract uk.ac.manchester.cs.factplusplus.Pointer createPointerForEntity (org.semanticweb.owlapi.model.OWLObject) 
	protected abstract org.semanticweb.owlapi.model.OWLObject getTopEntity () 
	protected abstract org.semanticweb.owlapi.model.OWLObject getBottomEntity () 
}

uk/ac/manchester/cs/factplusplus/owlapiv3/FaCTPlusPlusReasoner$ProgressMonitorAdapter.class
<Unknown>
package uk.ac.manchester.cs.factplusplus.owlapiv3
 uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner$ProgressMonitorAdapter extends java.lang.Object implements uk.ac.manchester.cs.factplusplus.FaCTPlusPlusProgressMonitor  {
	private int count
	private int total
	private final org.semanticweb.owlapi.reasoner.ReasonerProgressMonitor progressMonitor
	private final java.util.concurrent.atomic.AtomicBoolean interrupted
	public void <init> (org.semanticweb.owlapi.reasoner.ReasonerProgressMonitor, java.util.concurrent.atomic.AtomicBoolean) 
	public void setClassificationStarted (int) 
	public void nextClass () 
	public void setFinished () 
	public boolean isCancelled () 
}

uk/ac/manchester/cs/factplusplus/owlapiv3/FaCTPlusPlusReasoner.class
<Unknown>
package uk.ac.manchester.cs.factplusplus.owlapiv3
public uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner extends java.lang.Object implements org.semanticweb.owlapi.reasoner.OWLReasoner org.semanticweb.owlapi.model.OWLOntologyChangeListener  {
	public static final String REASONER_NAME
	public static final org.semanticweb.owlapi.util.Version VERSION
	protected final java.util.concurrent.atomic.AtomicBoolean interrupted
	private final uk.ac.manchester.cs.factplusplus.FaCTPlusPlus kernel
	private volatile uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner$AxiomTranslator axiomTranslator
	private volatile uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner$ClassExpressionTranslator classExpressionTranslator
	private volatile uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner$DataRangeTranslator dataRangeTranslator
	private volatile uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner$ObjectPropertyTranslator objectPropertyTranslator
	private volatile uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner$DataPropertyTranslator dataPropertyTranslator
	private volatile uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner$IndividualTranslator individualTranslator
	private volatile uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner$EntailmentChecker entailmentChecker
	private final java.util.Map axiom2PtrMap
	private final java.util.Map ptr2AxiomMap
	private static final java.util.Set SupportedInferenceTypes
	private final org.semanticweb.owlapi.model.OWLOntologyManager manager
	private final org.semanticweb.owlapi.model.OWLOntology rootOntology
	private final org.semanticweb.owlapi.reasoner.BufferingMode bufferingMode
	private final java.util.List rawChanges
	private final java.util.Set reasonerAxioms
	private final long timeOut
	private final org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration configuration
	private final boolean log
	final uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner$EntityVisitorEx entityTranslator
	public void ontologiesChanged (java.util.List)  throws org.semanticweb.owlapi.model.OWLException 
	public org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration getReasonerConfiguration () 
	public org.semanticweb.owlapi.reasoner.BufferingMode getBufferingMode () 
	public long getTimeOut () 
	public org.semanticweb.owlapi.model.OWLOntology getRootOntology () 
	private synchronized void handleRawOntologyChanges (java.util.List) 
	public synchronized java.util.List getPendingChanges () 
	public synchronized java.util.Set getPendingAxiomAdditions () 
	public synchronized java.util.Set getPendingAxiomRemovals () 
	public synchronized void flush () 
	private synchronized void computeDiff (java.util.Set, java.util.Set) 
	public synchronized java.util.Collection getReasonerAxioms () 
	public org.semanticweb.owlapi.reasoner.FreshEntityPolicy getFreshEntityPolicy () 
	public org.semanticweb.owlapi.reasoner.IndividualNodeSetPolicy getIndividualNodeSetPolicy () 
	public org.semanticweb.owlapi.model.OWLDataFactory getOWLDataFactory () 
	public void <init> (org.semanticweb.owlapi.model.OWLOntology, org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration, org.semanticweb.owlapi.reasoner.BufferingMode) 
	private void loadAxiom (org.semanticweb.owlapi.model.OWLAxiom) 
	private void retractAxiom (org.semanticweb.owlapi.model.OWLAxiom) 
	protected void handleChanges (java.util.Set, java.util.Set) 
	private void loadReasonerAxioms () 
	public java.lang.String getReasonerName () 
	public org.semanticweb.owlapi.util.Version getReasonerVersion () 
	public void interrupt () 
	public synchronized transient void precomputeInferences (org.semanticweb.owlapi.reasoner.InferenceType[])  throws org.semanticweb.owlapi.reasoner.ReasonerInterruptedException org.semanticweb.owlapi.reasoner.TimeOutException org.semanticweb.owlapi.reasoner.InconsistentOntologyException 
	public boolean isPrecomputed (org.semanticweb.owlapi.reasoner.InferenceType) 
	public java.util.Set getPrecomputableInferenceTypes () 
	public synchronized boolean isConsistent ()  throws org.semanticweb.owlapi.reasoner.ReasonerInterruptedException org.semanticweb.owlapi.reasoner.TimeOutException 
	private void checkConsistency () 
	public synchronized boolean isSatisfiable (org.semanticweb.owlapi.model.OWLClassExpression)  throws org.semanticweb.owlapi.reasoner.ReasonerInterruptedException org.semanticweb.owlapi.reasoner.TimeOutException org.semanticweb.owlapi.reasoner.ClassExpressionNotInProfileException org.semanticweb.owlapi.reasoner.FreshEntitiesException org.semanticweb.owlapi.reasoner.InconsistentOntologyException 
	public org.semanticweb.owlapi.reasoner.Node getUnsatisfiableClasses ()  throws org.semanticweb.owlapi.reasoner.ReasonerInterruptedException org.semanticweb.owlapi.reasoner.TimeOutException org.semanticweb.owlapi.reasoner.InconsistentOntologyException 
	public synchronized boolean isEntailed (org.semanticweb.owlapi.model.OWLAxiom)  throws org.semanticweb.owlapi.reasoner.ReasonerInterruptedException org.semanticweb.owlapi.reasoner.UnsupportedEntailmentTypeException org.semanticweb.owlapi.reasoner.TimeOutException org.semanticweb.owlapi.reasoner.AxiomNotInProfileException org.semanticweb.owlapi.reasoner.FreshEntitiesException org.semanticweb.owlapi.reasoner.InconsistentOntologyException 
	public synchronized boolean isEntailed (java.util.Set)  throws org.semanticweb.owlapi.reasoner.ReasonerInterruptedException org.semanticweb.owlapi.reasoner.UnsupportedEntailmentTypeException org.semanticweb.owlapi.reasoner.TimeOutException org.semanticweb.owlapi.reasoner.AxiomNotInProfileException org.semanticweb.owlapi.reasoner.FreshEntitiesException org.semanticweb.owlapi.reasoner.InconsistentOntologyException 
	public boolean isEntailmentCheckingSupported (org.semanticweb.owlapi.model.AxiomType) 
	public java.util.Set getTrace (org.semanticweb.owlapi.model.OWLAxiom) 
	public org.semanticweb.owlapi.reasoner.Node getTopClassNode () 
	public org.semanticweb.owlapi.reasoner.Node getBottomClassNode () 
	public synchronized org.semanticweb.owlapi.reasoner.NodeSet getSubClasses (org.semanticweb.owlapi.model.OWLClassExpression, boolean)  throws org.semanticweb.owlapi.reasoner.ReasonerInterruptedException org.semanticweb.owlapi.reasoner.TimeOutException org.semanticweb.owlapi.reasoner.FreshEntitiesException org.semanticweb.owlapi.reasoner.InconsistentOntologyException 
	public synchronized org.semanticweb.owlapi.reasoner.NodeSet getSuperClasses (org.semanticweb.owlapi.model.OWLClassExpression, boolean)  throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException org.semanticweb.owlapi.reasoner.ClassExpressionNotInProfileException org.semanticweb.owlapi.reasoner.ReasonerInterruptedException org.semanticweb.owlapi.reasoner.TimeOutException 
	public synchronized org.semanticweb.owlapi.reasoner.Node getEquivalentClasses (org.semanticweb.owlapi.model.OWLClassExpression)  throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException org.semanticweb.owlapi.reasoner.ClassExpressionNotInProfileException org.semanticweb.owlapi.reasoner.ReasonerInterruptedException org.semanticweb.owlapi.reasoner.TimeOutException 
	public synchronized org.semanticweb.owlapi.reasoner.NodeSet getDisjointClasses (org.semanticweb.owlapi.model.OWLClassExpression) 
	public org.semanticweb.owlapi.reasoner.Node getTopObjectPropertyNode () 
	public org.semanticweb.owlapi.reasoner.Node getBottomObjectPropertyNode () 
	public synchronized org.semanticweb.owlapi.reasoner.NodeSet getSubObjectProperties (org.semanticweb.owlapi.model.OWLObjectPropertyExpression, boolean)  throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException org.semanticweb.owlapi.reasoner.ReasonerInterruptedException org.semanticweb.owlapi.reasoner.TimeOutException 
	public synchronized org.semanticweb.owlapi.reasoner.NodeSet getSuperObjectProperties (org.semanticweb.owlapi.model.OWLObjectPropertyExpression, boolean)  throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException org.semanticweb.owlapi.reasoner.ReasonerInterruptedException org.semanticweb.owlapi.reasoner.TimeOutException 
	public synchronized org.semanticweb.owlapi.reasoner.Node getEquivalentObjectProperties (org.semanticweb.owlapi.model.OWLObjectPropertyExpression)  throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException org.semanticweb.owlapi.reasoner.ReasonerInterruptedException org.semanticweb.owlapi.reasoner.TimeOutException 
	public synchronized org.semanticweb.owlapi.reasoner.NodeSet getDisjointObjectProperties (org.semanticweb.owlapi.model.OWLObjectPropertyExpression)  throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException org.semanticweb.owlapi.reasoner.ReasonerInterruptedException org.semanticweb.owlapi.reasoner.TimeOutException 
	public synchronized org.semanticweb.owlapi.reasoner.Node getInverseObjectProperties (org.semanticweb.owlapi.model.OWLObjectPropertyExpression)  throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException org.semanticweb.owlapi.reasoner.ReasonerInterruptedException org.semanticweb.owlapi.reasoner.TimeOutException 
	public synchronized org.semanticweb.owlapi.reasoner.NodeSet getObjectPropertyDomains (org.semanticweb.owlapi.model.OWLObjectPropertyExpression, boolean)  throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException org.semanticweb.owlapi.reasoner.ReasonerInterruptedException org.semanticweb.owlapi.reasoner.TimeOutException 
	public org.semanticweb.owlapi.reasoner.NodeSet getObjectPropertyRanges (org.semanticweb.owlapi.model.OWLObjectPropertyExpression, boolean)  throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException org.semanticweb.owlapi.reasoner.ReasonerInterruptedException org.semanticweb.owlapi.reasoner.TimeOutException 
	public org.semanticweb.owlapi.reasoner.Node getTopDataPropertyNode () 
	public org.semanticweb.owlapi.reasoner.Node getBottomDataPropertyNode () 
	public synchronized org.semanticweb.owlapi.reasoner.NodeSet getSubDataProperties (org.semanticweb.owlapi.model.OWLDataProperty, boolean)  throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException org.semanticweb.owlapi.reasoner.ReasonerInterruptedException org.semanticweb.owlapi.reasoner.TimeOutException 
	public synchronized org.semanticweb.owlapi.reasoner.NodeSet getSuperDataProperties (org.semanticweb.owlapi.model.OWLDataProperty, boolean)  throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException org.semanticweb.owlapi.reasoner.ReasonerInterruptedException org.semanticweb.owlapi.reasoner.TimeOutException 
	public synchronized org.semanticweb.owlapi.reasoner.Node getEquivalentDataProperties (org.semanticweb.owlapi.model.OWLDataProperty)  throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException org.semanticweb.owlapi.reasoner.ReasonerInterruptedException org.semanticweb.owlapi.reasoner.TimeOutException 
	public synchronized org.semanticweb.owlapi.reasoner.NodeSet getDisjointDataProperties (org.semanticweb.owlapi.model.OWLDataPropertyExpression)  throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException org.semanticweb.owlapi.reasoner.ReasonerInterruptedException org.semanticweb.owlapi.reasoner.TimeOutException 
	public org.semanticweb.owlapi.reasoner.NodeSet getDataPropertyDomains (org.semanticweb.owlapi.model.OWLDataProperty, boolean)  throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException org.semanticweb.owlapi.reasoner.ReasonerInterruptedException org.semanticweb.owlapi.reasoner.TimeOutException 
	public synchronized org.semanticweb.owlapi.reasoner.NodeSet getTypes (org.semanticweb.owlapi.model.OWLNamedIndividual, boolean)  throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException org.semanticweb.owlapi.reasoner.ReasonerInterruptedException org.semanticweb.owlapi.reasoner.TimeOutException 
	public synchronized org.semanticweb.owlapi.reasoner.NodeSet getInstances (org.semanticweb.owlapi.model.OWLClassExpression, boolean)  throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException org.semanticweb.owlapi.reasoner.ClassExpressionNotInProfileException org.semanticweb.owlapi.reasoner.ReasonerInterruptedException org.semanticweb.owlapi.reasoner.TimeOutException 
	public synchronized org.semanticweb.owlapi.reasoner.NodeSet getObjectPropertyValues (org.semanticweb.owlapi.model.OWLNamedIndividual, org.semanticweb.owlapi.model.OWLObjectPropertyExpression)  throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException org.semanticweb.owlapi.reasoner.ReasonerInterruptedException org.semanticweb.owlapi.reasoner.TimeOutException 
	public synchronized java.util.Set getDataPropertyValues (org.semanticweb.owlapi.model.OWLNamedIndividual, org.semanticweb.owlapi.model.OWLDataProperty)  throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException org.semanticweb.owlapi.reasoner.ReasonerInterruptedException org.semanticweb.owlapi.reasoner.TimeOutException 
	public synchronized org.semanticweb.owlapi.reasoner.Node getSameIndividuals (org.semanticweb.owlapi.model.OWLNamedIndividual)  throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException org.semanticweb.owlapi.reasoner.ReasonerInterruptedException org.semanticweb.owlapi.reasoner.TimeOutException 
	public org.semanticweb.owlapi.reasoner.NodeSet getDifferentIndividuals (org.semanticweb.owlapi.model.OWLNamedIndividual)  throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException org.semanticweb.owlapi.reasoner.ReasonerInterruptedException org.semanticweb.owlapi.reasoner.TimeOutException 
	public org.semanticweb.owlapi.reasoner.Node getDataRelatedIndividuals (java.util.Set, org.semanticweb.owlapi.model.OWLDataProperty, org.semanticweb.owlapi.model.OWLDataProperty, int) 
	protected uk.ac.manchester.cs.factplusplus.ClassPointer toClassPointer (org.semanticweb.owlapi.model.OWLClassExpression) 
	protected uk.ac.manchester.cs.factplusplus.DataTypeExpressionPointer toDataTypeExpressionPointer (org.semanticweb.owlapi.model.OWLDataRange) 
	protected uk.ac.manchester.cs.factplusplus.ObjectPropertyPointer toObjectPropertyPointer (org.semanticweb.owlapi.model.OWLObjectPropertyExpression) 
	protected uk.ac.manchester.cs.factplusplus.DataPropertyPointer toDataPropertyPointer (org.semanticweb.owlapi.model.OWLDataPropertyExpression) 
	protected synchronized uk.ac.manchester.cs.factplusplus.IndividualPointer toIndividualPointer (org.semanticweb.owlapi.model.OWLIndividual) 
	protected synchronized uk.ac.manchester.cs.factplusplus.DataTypePointer toDataTypePointer (org.semanticweb.owlapi.model.OWLDatatype) 
	protected static final java.lang.String checkDateTime (org.semanticweb.owlapi.model.OWLDatatype) 
	protected synchronized uk.ac.manchester.cs.factplusplus.DataValuePointer toDataValuePointer (org.semanticweb.owlapi.model.OWLLiteral) 
	private static final java.lang.String convertToLongDateTime (java.lang.String) 
	private org.semanticweb.owlapi.reasoner.NodeSet translateIndividualPointersToNodeSet (uk.ac.manchester.cs.factplusplus.IndividualPointer[]) 
	protected synchronized void translateIndividualSet (java.util.Set) 
	public synchronized void dispose () 
	public void dumpClassHierarchy (java.io.PrintStream, boolean) 
	private void dumpSubClasses (org.semanticweb.owlapi.reasoner.Node, java.io.PrintStream, int, boolean) 
	public uk.ac.manchester.cs.factplusplus.NodePointer getRoot (org.semanticweb.owlapi.model.OWLClassExpression) 
	public org.semanticweb.owlapi.reasoner.Node getObjectNeighbours (uk.ac.manchester.cs.factplusplus.NodePointer, boolean) 
	public org.semanticweb.owlapi.reasoner.Node getDataNeighbours (uk.ac.manchester.cs.factplusplus.NodePointer, boolean) 
	public java.util.Collection getObjectNeighbours (uk.ac.manchester.cs.factplusplus.NodePointer, org.semanticweb.owlapi.model.OWLObjectProperty) 
	public java.util.Collection getDataNeighbours (uk.ac.manchester.cs.factplusplus.NodePointer, org.semanticweb.owlapi.model.OWLDataProperty) 
	public org.semanticweb.owlapi.reasoner.Node getObjectLabel (uk.ac.manchester.cs.factplusplus.NodePointer, boolean) 
	public org.semanticweb.owlapi.reasoner.Node getDataLabel (uk.ac.manchester.cs.factplusplus.NodePointer, boolean) 
	public uk.ac.manchester.cs.factplusplus.NodePointer getBlocker (uk.ac.manchester.cs.factplusplus.NodePointer) 
	public int getAtomicDecompositionSize (boolean, int) 
	public java.util.Set getAtomAxioms (int) 
	public java.util.Set getAtomModule (int) 
	private java.util.Set axiomsToSet (uk.ac.manchester.cs.factplusplus.AxiomPointer[]) 
	public int[] getAtomDependents (int) 
	public int getLocCheckNumber () 
	public java.util.Set getModule (java.util.Set, boolean, int) 
	public java.util.Set getNonLocal (java.util.Set, boolean, int) 
	public boolean checkSaveLoadContext (java.lang.String) 
	public boolean setSaveLoadContext (java.lang.String) 
	public boolean clearSaveLoadContext (java.lang.String) 
	static synthetic uk.ac.manchester.cs.factplusplus.FaCTPlusPlus access$000 (uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner) 
	static void <clinit> () 
}

uk/ac/manchester/cs/factplusplus/owlapiv3/FaCTPlusPlusReasonerFactory.class
<Unknown>
package uk.ac.manchester.cs.factplusplus.owlapiv3
public uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasonerFactory extends java.lang.Object implements org.semanticweb.owlapi.reasoner.OWLReasonerFactory  {
	public void <init> () 
	public java.lang.String getReasonerName () 
	protected org.semanticweb.owlapi.reasoner.OWLReasoner createReasoner (org.semanticweb.owlapi.model.OWLOntology, org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration, boolean)  throws org.semanticweb.owlapi.reasoner.IllegalConfigurationException 
	public org.semanticweb.owlapi.reasoner.OWLReasoner createReasoner (org.semanticweb.owlapi.model.OWLOntology) 
	public org.semanticweb.owlapi.reasoner.OWLReasoner createNonBufferingReasoner (org.semanticweb.owlapi.model.OWLOntology) 
	public org.semanticweb.owlapi.reasoner.OWLReasoner createReasoner (org.semanticweb.owlapi.model.OWLOntology, org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration)  throws org.semanticweb.owlapi.reasoner.IllegalConfigurationException 
	public org.semanticweb.owlapi.reasoner.OWLReasoner createNonBufferingReasoner (org.semanticweb.owlapi.model.OWLOntology, org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration)  throws org.semanticweb.owlapi.reasoner.IllegalConfigurationException 
}

uk/ac/manchester/cs/factplusplus/owlapiv3/OWLKnowledgeExplorationReasonerWrapper$RootNodeImpl.class
<Unknown>
package uk.ac.manchester.cs.factplusplus.owlapiv3
 uk.ac.manchester.cs.factplusplus.owlapiv3.OWLKnowledgeExplorationReasonerWrapper$RootNodeImpl extends java.lang.Object implements org.semanticweb.owlapi.reasoner.knowledgeexploration.OWLKnowledgeExplorerReasoner$RootNode  {
	private final uk.ac.manchester.cs.factplusplus.NodePointer pointer
	final synthetic uk.ac.manchester.cs.factplusplus.owlapiv3.OWLKnowledgeExplorationReasonerWrapper this$0
	public void <init> (uk.ac.manchester.cs.factplusplus.owlapiv3.OWLKnowledgeExplorationReasonerWrapper, uk.ac.manchester.cs.factplusplus.NodePointer) 
	public java.lang.Object getNode () 
	public int hashCode () 
	public boolean equals (java.lang.Object) 
}

uk/ac/manchester/cs/factplusplus/owlapiv3/OWLKnowledgeExplorationReasonerWrapper.class
<Unknown>
package uk.ac.manchester.cs.factplusplus.owlapiv3
public uk.ac.manchester.cs.factplusplus.owlapiv3.OWLKnowledgeExplorationReasonerWrapper extends java.lang.Object implements org.semanticweb.owlapi.reasoner.knowledgeexploration.OWLKnowledgeExplorerReasoner  {
	private final uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner r
	public void <init> (uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner) 
	public void ontologiesChanged (java.util.List)  throws org.semanticweb.owlapi.model.OWLException 
	public org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration getReasonerConfiguration () 
	public org.semanticweb.owlapi.reasoner.BufferingMode getBufferingMode () 
	public long getTimeOut () 
	public org.semanticweb.owlapi.model.OWLOntology getRootOntology () 
	public java.util.List getPendingChanges () 
	public java.util.Set getPendingAxiomAdditions () 
	public java.util.Set getPendingAxiomRemovals () 
	public org.semanticweb.owlapi.reasoner.FreshEntityPolicy getFreshEntityPolicy () 
	public org.semanticweb.owlapi.reasoner.IndividualNodeSetPolicy getIndividualNodeSetPolicy () 
	public java.lang.String getReasonerName () 
	public org.semanticweb.owlapi.util.Version getReasonerVersion () 
	public void interrupt () 
	public transient void precomputeInferences (org.semanticweb.owlapi.reasoner.InferenceType[])  throws org.semanticweb.owlapi.reasoner.ReasonerInterruptedException org.semanticweb.owlapi.reasoner.TimeOutException org.semanticweb.owlapi.reasoner.InconsistentOntologyException 
	public boolean isPrecomputed (org.semanticweb.owlapi.reasoner.InferenceType) 
	public java.util.Set getPrecomputableInferenceTypes () 
	public boolean isConsistent ()  throws org.semanticweb.owlapi.reasoner.ReasonerInterruptedException org.semanticweb.owlapi.reasoner.TimeOutException 
	public boolean isSatisfiable (org.semanticweb.owlapi.model.OWLClassExpression)  throws org.semanticweb.owlapi.reasoner.ReasonerInterruptedException org.semanticweb.owlapi.reasoner.TimeOutException org.semanticweb.owlapi.reasoner.ClassExpressionNotInProfileException org.semanticweb.owlapi.reasoner.FreshEntitiesException org.semanticweb.owlapi.reasoner.InconsistentOntologyException 
	public org.semanticweb.owlapi.reasoner.Node getUnsatisfiableClasses ()  throws org.semanticweb.owlapi.reasoner.ReasonerInterruptedException org.semanticweb.owlapi.reasoner.TimeOutException org.semanticweb.owlapi.reasoner.InconsistentOntologyException 
	public boolean isEntailed (org.semanticweb.owlapi.model.OWLAxiom)  throws org.semanticweb.owlapi.reasoner.ReasonerInterruptedException org.semanticweb.owlapi.reasoner.UnsupportedEntailmentTypeException org.semanticweb.owlapi.reasoner.TimeOutException org.semanticweb.owlapi.reasoner.AxiomNotInProfileException org.semanticweb.owlapi.reasoner.FreshEntitiesException org.semanticweb.owlapi.reasoner.InconsistentOntologyException 
	public boolean isEntailed (java.util.Set)  throws org.semanticweb.owlapi.reasoner.ReasonerInterruptedException org.semanticweb.owlapi.reasoner.UnsupportedEntailmentTypeException org.semanticweb.owlapi.reasoner.TimeOutException org.semanticweb.owlapi.reasoner.AxiomNotInProfileException org.semanticweb.owlapi.reasoner.FreshEntitiesException org.semanticweb.owlapi.reasoner.InconsistentOntologyException 
	public boolean isEntailmentCheckingSupported (org.semanticweb.owlapi.model.AxiomType) 
	public java.util.Set getTrace (org.semanticweb.owlapi.model.OWLAxiom) 
	public org.semanticweb.owlapi.reasoner.Node getTopClassNode () 
	public org.semanticweb.owlapi.reasoner.Node getBottomClassNode () 
	public org.semanticweb.owlapi.reasoner.NodeSet getSubClasses (org.semanticweb.owlapi.model.OWLClassExpression, boolean)  throws org.semanticweb.owlapi.reasoner.ReasonerInterruptedException org.semanticweb.owlapi.reasoner.TimeOutException org.semanticweb.owlapi.reasoner.FreshEntitiesException org.semanticweb.owlapi.reasoner.InconsistentOntologyException 
	public org.semanticweb.owlapi.reasoner.NodeSet getSuperClasses (org.semanticweb.owlapi.model.OWLClassExpression, boolean)  throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException org.semanticweb.owlapi.reasoner.ClassExpressionNotInProfileException org.semanticweb.owlapi.reasoner.ReasonerInterruptedException org.semanticweb.owlapi.reasoner.TimeOutException 
	public org.semanticweb.owlapi.reasoner.Node getEquivalentClasses (org.semanticweb.owlapi.model.OWLClassExpression)  throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException org.semanticweb.owlapi.reasoner.ClassExpressionNotInProfileException org.semanticweb.owlapi.reasoner.ReasonerInterruptedException org.semanticweb.owlapi.reasoner.TimeOutException 
	public org.semanticweb.owlapi.reasoner.Node getTopObjectPropertyNode () 
	public org.semanticweb.owlapi.reasoner.Node getBottomObjectPropertyNode () 
	public org.semanticweb.owlapi.reasoner.NodeSet getSubObjectProperties (org.semanticweb.owlapi.model.OWLObjectPropertyExpression, boolean)  throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException org.semanticweb.owlapi.reasoner.ReasonerInterruptedException org.semanticweb.owlapi.reasoner.TimeOutException 
	public org.semanticweb.owlapi.reasoner.NodeSet getSuperObjectProperties (org.semanticweb.owlapi.model.OWLObjectPropertyExpression, boolean)  throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException org.semanticweb.owlapi.reasoner.ReasonerInterruptedException org.semanticweb.owlapi.reasoner.TimeOutException 
	public org.semanticweb.owlapi.reasoner.Node getEquivalentObjectProperties (org.semanticweb.owlapi.model.OWLObjectPropertyExpression)  throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException org.semanticweb.owlapi.reasoner.ReasonerInterruptedException org.semanticweb.owlapi.reasoner.TimeOutException 
	public org.semanticweb.owlapi.reasoner.NodeSet getDisjointObjectProperties (org.semanticweb.owlapi.model.OWLObjectPropertyExpression)  throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException org.semanticweb.owlapi.reasoner.ReasonerInterruptedException org.semanticweb.owlapi.reasoner.TimeOutException 
	public org.semanticweb.owlapi.reasoner.Node getInverseObjectProperties (org.semanticweb.owlapi.model.OWLObjectPropertyExpression)  throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException org.semanticweb.owlapi.reasoner.ReasonerInterruptedException org.semanticweb.owlapi.reasoner.TimeOutException 
	public org.semanticweb.owlapi.reasoner.NodeSet getObjectPropertyDomains (org.semanticweb.owlapi.model.OWLObjectPropertyExpression, boolean)  throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException org.semanticweb.owlapi.reasoner.ReasonerInterruptedException org.semanticweb.owlapi.reasoner.TimeOutException 
	public org.semanticweb.owlapi.reasoner.NodeSet getObjectPropertyRanges (org.semanticweb.owlapi.model.OWLObjectPropertyExpression, boolean)  throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException org.semanticweb.owlapi.reasoner.ReasonerInterruptedException org.semanticweb.owlapi.reasoner.TimeOutException 
	public org.semanticweb.owlapi.reasoner.Node getTopDataPropertyNode () 
	public org.semanticweb.owlapi.reasoner.Node getBottomDataPropertyNode () 
	public org.semanticweb.owlapi.reasoner.NodeSet getSubDataProperties (org.semanticweb.owlapi.model.OWLDataProperty, boolean)  throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException org.semanticweb.owlapi.reasoner.ReasonerInterruptedException org.semanticweb.owlapi.reasoner.TimeOutException 
	public org.semanticweb.owlapi.reasoner.NodeSet getSuperDataProperties (org.semanticweb.owlapi.model.OWLDataProperty, boolean)  throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException org.semanticweb.owlapi.reasoner.ReasonerInterruptedException org.semanticweb.owlapi.reasoner.TimeOutException 
	public org.semanticweb.owlapi.reasoner.Node getEquivalentDataProperties (org.semanticweb.owlapi.model.OWLDataProperty)  throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException org.semanticweb.owlapi.reasoner.ReasonerInterruptedException org.semanticweb.owlapi.reasoner.TimeOutException 
	public org.semanticweb.owlapi.reasoner.NodeSet getTypes (org.semanticweb.owlapi.model.OWLNamedIndividual, boolean)  throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException org.semanticweb.owlapi.reasoner.ReasonerInterruptedException org.semanticweb.owlapi.reasoner.TimeOutException 
	public org.semanticweb.owlapi.reasoner.NodeSet getInstances (org.semanticweb.owlapi.model.OWLClassExpression, boolean)  throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException org.semanticweb.owlapi.reasoner.ClassExpressionNotInProfileException org.semanticweb.owlapi.reasoner.ReasonerInterruptedException org.semanticweb.owlapi.reasoner.TimeOutException 
	public org.semanticweb.owlapi.reasoner.NodeSet getObjectPropertyValues (org.semanticweb.owlapi.model.OWLNamedIndividual, org.semanticweb.owlapi.model.OWLObjectPropertyExpression)  throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException org.semanticweb.owlapi.reasoner.ReasonerInterruptedException org.semanticweb.owlapi.reasoner.TimeOutException 
	public org.semanticweb.owlapi.reasoner.Node getSameIndividuals (org.semanticweb.owlapi.model.OWLNamedIndividual)  throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException org.semanticweb.owlapi.reasoner.ReasonerInterruptedException org.semanticweb.owlapi.reasoner.TimeOutException 
	public void dispose () 
	public void flush () 
	public org.semanticweb.owlapi.reasoner.NodeSet getDisjointClasses (org.semanticweb.owlapi.model.OWLClassExpression) 
	public org.semanticweb.owlapi.reasoner.NodeSet getDisjointDataProperties (org.semanticweb.owlapi.model.OWLDataPropertyExpression)  throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException org.semanticweb.owlapi.reasoner.ReasonerInterruptedException org.semanticweb.owlapi.reasoner.TimeOutException 
	public org.semanticweb.owlapi.reasoner.NodeSet getDataPropertyDomains (org.semanticweb.owlapi.model.OWLDataProperty, boolean)  throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException org.semanticweb.owlapi.reasoner.ReasonerInterruptedException org.semanticweb.owlapi.reasoner.TimeOutException 
	public java.util.Set getDataPropertyValues (org.semanticweb.owlapi.model.OWLNamedIndividual, org.semanticweb.owlapi.model.OWLDataProperty)  throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException org.semanticweb.owlapi.reasoner.ReasonerInterruptedException org.semanticweb.owlapi.reasoner.TimeOutException 
	public org.semanticweb.owlapi.reasoner.NodeSet getDifferentIndividuals (org.semanticweb.owlapi.model.OWLNamedIndividual)  throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException org.semanticweb.owlapi.reasoner.ReasonerInterruptedException org.semanticweb.owlapi.reasoner.TimeOutException 
	public org.semanticweb.owlapi.reasoner.knowledgeexploration.OWLKnowledgeExplorerReasoner$RootNode getRoot (org.semanticweb.owlapi.model.OWLClassExpression) 
	public org.semanticweb.owlapi.reasoner.Node getObjectNeighbours (org.semanticweb.owlapi.reasoner.knowledgeexploration.OWLKnowledgeExplorerReasoner$RootNode, boolean) 
	public org.semanticweb.owlapi.reasoner.Node getDataNeighbours (org.semanticweb.owlapi.reasoner.knowledgeexploration.OWLKnowledgeExplorerReasoner$RootNode, boolean) 
	public java.util.Collection getObjectNeighbours (org.semanticweb.owlapi.reasoner.knowledgeexploration.OWLKnowledgeExplorerReasoner$RootNode, org.semanticweb.owlapi.model.OWLObjectProperty) 
	public java.util.Collection getDataNeighbours (org.semanticweb.owlapi.reasoner.knowledgeexploration.OWLKnowledgeExplorerReasoner$RootNode, org.semanticweb.owlapi.model.OWLDataProperty) 
	public org.semanticweb.owlapi.reasoner.Node getObjectLabel (org.semanticweb.owlapi.reasoner.knowledgeexploration.OWLKnowledgeExplorerReasoner$RootNode, boolean) 
	public org.semanticweb.owlapi.reasoner.Node getDataLabel (org.semanticweb.owlapi.reasoner.knowledgeexploration.OWLKnowledgeExplorerReasoner$RootNode, boolean) 
	public org.semanticweb.owlapi.reasoner.knowledgeexploration.OWLKnowledgeExplorerReasoner$RootNode getBlocker (org.semanticweb.owlapi.reasoner.knowledgeexploration.OWLKnowledgeExplorerReasoner$RootNode) 
}

uk/ac/manchester/cs/factplusplus/Pointer.class
<Unknown>
package uk.ac.manchester.cs.factplusplus
public uk.ac.manchester.cs.factplusplus.Pointer extends java.lang.Object {
	private long node
	public void <init> () 
	public long getNode () 
	public int hashCode () 
	public boolean equals (java.lang.Object) 
	public final java.lang.String toString () 
}

uk/ac/manchester/cs/factplusplus/protege/
uk/ac/manchester/cs/factplusplus/protege/FaCTPlusPlusFactory.class
<Unknown>
package uk.ac.manchester.cs.factplusplus.protege
public uk.ac.manchester.cs.factplusplus.protege.FaCTPlusPlusFactory extends org.protege.editor.owl.model.inference.AbstractProtegeOWLReasonerInfo {
	private uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasonerFactory fac
	public void <init> () 
	public void initialise ()  throws java.lang.Exception 
	public void dispose ()  throws java.lang.Exception 
	public org.semanticweb.owlapi.reasoner.BufferingMode getRecommendedBuffering () 
	public org.semanticweb.owlapi.reasoner.OWLReasonerFactory getReasonerFactory () 
}

uk/ac/manchester/cs/factplusplus/protege/FaCTPlusPlusRenderingViewComponent.class
<Unknown>
package uk.ac.manchester.cs.factplusplus.protege
public uk.ac.manchester.cs.factplusplus.protege.FaCTPlusPlusRenderingViewComponent extends org.protege.editor.owl.ui.view.ontology.AbstractOntologyRenderingViewComponent {
	public void <init> () 
	protected void renderOntology (org.semanticweb.owlapi.model.OWLOntology, java.io.Writer)  throws java.lang.Exception 
}

uk/ac/manchester/cs/factplusplus/QuietProgressMonitor.class
<Unknown>
package uk.ac.manchester.cs.factplusplus
public uk.ac.manchester.cs.factplusplus.QuietProgressMonitor extends java.lang.Object implements uk.ac.manchester.cs.factplusplus.FaCTPlusPlusProgressMonitor  {
	public void <init> () 
	public void setClassificationStarted (int) 
	public void nextClass () 
	public void setFinished () 
	public boolean isCancelled () 
}