data/fact++-1.6.5~dfsg/.gitignore: ASCII text data/fact++-1.6.5~dfsg/CMakeLists.txt: ASCII text data/fact++-1.6.5~dfsg/FaCT++.C/CMakeLists.txt: ASCII text data/fact++-1.6.5~dfsg/FaCT++.C/Makefile: ASCII text data/fact++-1.6.5~dfsg/FaCT++.C/fact.cpp: C++ source, ASCII text data/fact++-1.6.5~dfsg/FaCT++.C/fact.h: C source, ASCII text data/fact++-1.6.5~dfsg/FaCT++.C/test.c: C source, ASCII text data/fact++-1.6.5~dfsg/FaCT++.JNI/Axioms.cpp: C source, ASCII text data/fact++-1.6.5~dfsg/FaCT++.JNI/CMakeLists.txt: ASCII text data/fact++-1.6.5~dfsg/FaCT++.JNI/Expressions.cpp: C source, ASCII text data/fact++-1.6.5~dfsg/FaCT++.JNI/FaCTPlusPlus.cpp: C source, ASCII text data/fact++-1.6.5~dfsg/FaCT++.JNI/JNIActor.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/FaCT++.JNI/JNIMonitor.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/FaCT++.JNI/JNISupport.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/FaCT++.JNI/KnowledgeExploration.cpp: C source, ASCII text data/fact++-1.6.5~dfsg/FaCT++.JNI/Makefile: ASCII text data/fact++-1.6.5~dfsg/FaCT++.JNI/MemoryStat.cpp: C source, ASCII text data/fact++-1.6.5~dfsg/FaCT++.JNI/MemoryStat.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/FaCT++.JNI/Modularity.cpp: C source, ASCII text data/fact++-1.6.5~dfsg/FaCT++.JNI/Queries.cpp: C source, ASCII text data/fact++-1.6.5~dfsg/FaCT++.JNI/SaveLoad.cpp: C source, ASCII text data/fact++-1.6.5~dfsg/FaCT++.JNI/tJNICache.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/FaCT++.JNI/uk_ac_manchester_cs_factplusplus_FaCTPlusPlus.h: C source, ASCII text data/fact++-1.6.5~dfsg/FaCT++.Java/uk/ac/manchester/cs/factplusplus/AxiomPointer.java: ASCII text data/fact++-1.6.5~dfsg/FaCT++.Java/uk/ac/manchester/cs/factplusplus/ClassPointer.java: ASCII text data/fact++-1.6.5~dfsg/FaCT++.Java/uk/ac/manchester/cs/factplusplus/DataPropertyPointer.java: ASCII text data/fact++-1.6.5~dfsg/FaCT++.Java/uk/ac/manchester/cs/factplusplus/DataTypeExpressionPointer.java: ASCII text data/fact++-1.6.5~dfsg/FaCT++.Java/uk/ac/manchester/cs/factplusplus/DataTypeFacet.java: ASCII text data/fact++-1.6.5~dfsg/FaCT++.Java/uk/ac/manchester/cs/factplusplus/DataTypePointer.java: ASCII text data/fact++-1.6.5~dfsg/FaCT++.Java/uk/ac/manchester/cs/factplusplus/DataValuePointer.java: ASCII text data/fact++-1.6.5~dfsg/FaCT++.Java/uk/ac/manchester/cs/factplusplus/FaCTPlusPlus.java: Java source, ASCII text data/fact++-1.6.5~dfsg/FaCT++.Java/uk/ac/manchester/cs/factplusplus/FaCTPlusPlusException.java: Java source, ASCII text data/fact++-1.6.5~dfsg/FaCT++.Java/uk/ac/manchester/cs/factplusplus/FaCTPlusPlusProgressMonitor.java: ASCII text data/fact++-1.6.5~dfsg/FaCT++.Java/uk/ac/manchester/cs/factplusplus/IndividualPointer.java: ASCII text data/fact++-1.6.5~dfsg/FaCT++.Java/uk/ac/manchester/cs/factplusplus/NodePointer.java: ASCII text data/fact++-1.6.5~dfsg/FaCT++.Java/uk/ac/manchester/cs/factplusplus/ObjectPropertyPointer.java: ASCII text data/fact++-1.6.5~dfsg/FaCT++.Java/uk/ac/manchester/cs/factplusplus/Pointer.java: ASCII text data/fact++-1.6.5~dfsg/FaCT++.Java/uk/ac/manchester/cs/factplusplus/QuietProgressMonitor.java: ASCII text data/fact++-1.6.5~dfsg/FaCT++.KE/build.xml: ASCII text data/fact++-1.6.5~dfsg/FaCT++.KE/src/uk/ac/manchester/cs/factplusplus/owlapiv3/OWLKnowledgeExplorationReasonerWrapper.java: Java source, ASCII text data/fact++-1.6.5~dfsg/FaCT++.OWLAPIv3/build.xml: ASCII text data/fact++-1.6.5~dfsg/FaCT++.OWLAPIv3/src/uk/ac/manchester/cs/factplusplus/owlapiv3/FaCTPlusPlusReasoner.java: Java source, ASCII text data/fact++-1.6.5~dfsg/FaCT++.OWLAPIv3/src/uk/ac/manchester/cs/factplusplus/owlapiv3/FaCTPlusPlusReasonerFactory.java: Java source, ASCII text data/fact++-1.6.5~dfsg/FaCT++.OWLAPIv3/src/uk/ac/manchester/cs/factplusplus/owlapiv3/ModuleMethod.java: ASCII text, with very long lines data/fact++-1.6.5~dfsg/FaCT++.ProtegeOWLAPIv3/META-INF/MANIFEST.MF: ASCII text data/fact++-1.6.5~dfsg/FaCT++.ProtegeOWLAPIv3/build.xml: exported SGML document, ASCII text data/fact++-1.6.5~dfsg/FaCT++.ProtegeOWLAPIv3/lib/version.txt: ASCII text data/fact++-1.6.5~dfsg/FaCT++.ProtegeOWLAPIv3/plugin.xml: XML 1.0 document, ASCII text data/fact++-1.6.5~dfsg/FaCT++.ProtegeOWLAPIv3/src/uk/ac/manchester/cs/factplusplus/protege/FaCTPlusPlusFactory.java: Java source, ASCII text data/fact++-1.6.5~dfsg/FaCT++.ProtegeOWLAPIv3/src/uk/ac/manchester/cs/factplusplus/protege/FaCTPlusPlusRenderingViewComponent.java: Java source, ASCII text data/fact++-1.6.5~dfsg/FaCT++/AD.cpp: C source, ASCII text data/fact++-1.6.5~dfsg/FaCT++/CMakeLists.txt: ASCII text data/fact++-1.6.5~dfsg/FaCT++/FaCT.cpp: C source, ASCII text data/fact++-1.6.5~dfsg/FaCT++/Makefile: ASCII text data/fact++-1.6.5~dfsg/FaCT++/comparser.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/FaCT++/comscanner.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/FaCT++/lispgrammar.h: C source, ASCII text data/fact++-1.6.5~dfsg/FaCT++/parser.cpp: C source, ASCII text data/fact++-1.6.5~dfsg/FaCT++/parser.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/FaCT++/scanner.cpp: C source, ASCII text data/fact++-1.6.5~dfsg/FaCT++/scanner.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/Actor.cpp: C source, ASCII text data/fact++-1.6.5~dfsg/Kernel/Actor.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/AtomicDecomposer.cpp: C source, ASCII text data/fact++-1.6.5~dfsg/Kernel/BiPointer.h: C source, ASCII text data/fact++-1.6.5~dfsg/Kernel/Blocking.cpp: C source, ASCII text data/fact++-1.6.5~dfsg/Kernel/BuildDAG.cpp: C source, ASCII text data/fact++-1.6.5~dfsg/Kernel/CGLabel.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/CMakeLists.txt: ASCII text data/fact++-1.6.5~dfsg/Kernel/CWDArray.cpp: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/CWDArray.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/CascadedCache.cpp: C source, ASCII text data/fact++-1.6.5~dfsg/Kernel/ConceptWithDep.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/DLConceptTaxonomy.cpp: C source, ASCII text data/fact++-1.6.5~dfsg/Kernel/DLConceptTaxonomy.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/DataReasoning.cpp: C source, ASCII text data/fact++-1.6.5~dfsg/Kernel/DataReasoning.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/DataTypeCenter.cpp: C source, ASCII text data/fact++-1.6.5~dfsg/Kernel/DataTypeCenter.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/DataTypeComparator.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/DeletelessAllocator.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/DepSet.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/ExtendedDataRange.cpp: C source, ASCII text data/fact++-1.6.5~dfsg/Kernel/ExtendedSyntacticLocalityChecker.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/GeneralSyntacticLocalityChecker.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/Incremental.cpp: C source, ASCII text data/fact++-1.6.5~dfsg/Kernel/Input.cpp: C source, ASCII text data/fact++-1.6.5~dfsg/Kernel/Kernel.cpp: C source, ASCII text data/fact++-1.6.5~dfsg/Kernel/Kernel.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/KnowledgeExplorer.cpp: C source, ASCII text data/fact++-1.6.5~dfsg/Kernel/KnowledgeExplorer.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/LeveLogger.cpp: C source, ASCII text data/fact++-1.6.5~dfsg/Kernel/LeveLogger.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/LocalityChecker.cpp: C source, ASCII text data/fact++-1.6.5~dfsg/Kernel/LocalityChecker.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/LogicFeature.cpp: C source, ASCII text data/fact++-1.6.5~dfsg/Kernel/LogicFeature.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/Makefile: ASCII text data/fact++-1.6.5~dfsg/Kernel/Modularity.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/ModuleMethod.h: C source, ASCII text data/fact++-1.6.5~dfsg/Kernel/ModuleType.h: C source, ASCII text data/fact++-1.6.5~dfsg/Kernel/OntologyBasedModularizer.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/Preprocess.cpp: C source, ASCII text data/fact++-1.6.5~dfsg/Kernel/PriorityMatrix.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/ProgressIndicatorInterface.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/RAutomaton.cpp: C source, ASCII text data/fact++-1.6.5~dfsg/Kernel/RAutomaton.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/Reasoner.cpp: C source, ASCII text data/fact++-1.6.5~dfsg/Kernel/Reasoner.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/ReasonerNom.cpp: C source, ASCII text data/fact++-1.6.5~dfsg/Kernel/ReasonerNom.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/Relevance.cpp: C source, ASCII text data/fact++-1.6.5~dfsg/Kernel/RoleMaster.cpp: C source, ASCII text data/fact++-1.6.5~dfsg/Kernel/RoleMaster.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/SaveLoad.cpp: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/SaveLoadManager.cpp: C source, ASCII text data/fact++-1.6.5~dfsg/Kernel/SaveLoadManager.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/SearchableStack.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/SemanticLocalityChecker.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/SigIndex.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/SortedReasoning.cpp: C source, ASCII text data/fact++-1.6.5~dfsg/Kernel/SyntacticLocalityChecker.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/Tactic.cpp: C source, ASCII text data/fact++-1.6.5~dfsg/Kernel/TaxGatheringWalker.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/Taxonomy.cpp: C source, ASCII text data/fact++-1.6.5~dfsg/Kernel/Taxonomy.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/TaxonomyCreator.cpp: C source, ASCII text data/fact++-1.6.5~dfsg/Kernel/TaxonomyCreator.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/ToDoList.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/WalkerInterface.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/configure.cpp: C source, ASCII text data/fact++-1.6.5~dfsg/Kernel/configure.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/counter.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/cpm.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/cppi.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/dir_util.cpp: C source, ASCII text data/fact++-1.6.5~dfsg/Kernel/dir_util.h: C source, ASCII text data/fact++-1.6.5~dfsg/Kernel/dlCompletionGraph.cpp: C source, ASCII text data/fact++-1.6.5~dfsg/Kernel/dlCompletionGraph.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/dlCompletionTree.cpp: C source, ASCII text data/fact++-1.6.5~dfsg/Kernel/dlCompletionTree.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/dlCompletionTreeArc.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/dlDag.cpp: C source, ASCII text data/fact++-1.6.5~dfsg/Kernel/dlDag.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/dlTBox.cpp: C source, ASCII text data/fact++-1.6.5~dfsg/Kernel/dlTBox.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/dlVHash.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/dlVHashImpl.h: C source, ASCII text data/fact++-1.6.5~dfsg/Kernel/dlVertex.cpp: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/dlVertex.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/dltree.cpp: C source, ASCII text data/fact++-1.6.5~dfsg/Kernel/dltree.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/dumpInterface.cpp: C source, ASCII text data/fact++-1.6.5~dfsg/Kernel/dumpInterface.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/dumpLisp.cpp: C source, ASCII text data/fact++-1.6.5~dfsg/Kernel/dumpLisp.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/eFPPCantRegName.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/eFPPCycleInRIA.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/eFPPInconsistentKB.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/eFPPNonSimpleRole.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/eFPPSaveLoad.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/eFPPTimeout.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/eFaCTPlusPlus.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/flags.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/fpp_assert.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/globaldef.h: C source, ASCII text data/fact++-1.6.5~dfsg/Kernel/grammar.h: C source, ASCII text data/fact++-1.6.5~dfsg/Kernel/growingArray.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/growingArrayP.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/ifOptions.cpp: C source, ASCII text data/fact++-1.6.5~dfsg/Kernel/ifOptions.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/logging.h: C source, ASCII text data/fact++-1.6.5~dfsg/Kernel/mergableLabel.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/modelCacheConst.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/modelCacheIan.cpp: C source, ASCII text data/fact++-1.6.5~dfsg/Kernel/modelCacheIan.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/modelCacheInterface.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/modelCacheSingleton.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/parseTime.cpp: C source, ASCII text data/fact++-1.6.5~dfsg/Kernel/parseTime.h: C source, ASCII text data/fact++-1.6.5~dfsg/Kernel/procTimer.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/tAxiom.cpp: C source, ASCII text data/fact++-1.6.5~dfsg/Kernel/tAxiom.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/tAxiomSet.cpp: C source, ASCII text data/fact++-1.6.5~dfsg/Kernel/tAxiomSet.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/tBranchingContext.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/tConcept.cpp: C source, ASCII text data/fact++-1.6.5~dfsg/Kernel/tConcept.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/tCounter.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/tDLAxiom.cpp: C source, ASCII text data/fact++-1.6.5~dfsg/Kernel/tDLAxiom.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/tDLExpression.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/tDag2Interface.cpp: C source, ASCII text data/fact++-1.6.5~dfsg/Kernel/tDag2Interface.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/tDataEntry.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/tDataType.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/tDataTypeBool.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/tDataTypeManager.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/tDepSet.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/tExpressionManager.cpp: C source, ASCII text data/fact++-1.6.5~dfsg/Kernel/tExpressionManager.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/tExpressionPrinterLISP.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/tExpressionTranslator.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/tFastSet.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/tHeadTailCache.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/tIndividual.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/tKBFlags.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/tLabeller.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/tLexeme.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/tNAryQueue.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/tNECollection.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/tNameSet.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/tNamedEntry.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/tOntology.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/tOntologyAtom.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/tOntologyLoader.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/tOntologyPrinterLISP.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/tProgressMonitor.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/tRareSaveStack.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/tRelated.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/tRestorer.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/tRole.cpp: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/tRole.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/tSaveList.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/tSaveStack.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/tSetAsTree.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/tSignature.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/tSignatureUpdater.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/taxNamEntry.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/taxVertex.cpp: C source, ASCII text data/fact++-1.6.5~dfsg/Kernel/taxVertex.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/tsttree.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Kernel/AtomicDecomposer.h: C++ source, ASCII text data/fact++-1.6.5~dfsg/Makefile: automake makefile script, ASCII text data/fact++-1.6.5~dfsg/Makefile.include: ASCII text data/fact++-1.6.5~dfsg/eclipsefiles/classpathForOWLAPI4: XML 1.0 document, ASCII text data/fact++-1.6.5~dfsg/mavenreleaseowlapi4/pom.xml: XML 1.0 document, ASCII text, with very long lines data/fact++-1.6.5~dfsg/mavenreleaseowlapi4/src/main/java/uk/ac/manchester/cs/factplusplus/AxiomPointer.java: ASCII text data/fact++-1.6.5~dfsg/mavenreleaseowlapi4/src/main/java/uk/ac/manchester/cs/factplusplus/ClassPointer.java: ASCII text data/fact++-1.6.5~dfsg/mavenreleaseowlapi4/src/main/java/uk/ac/manchester/cs/factplusplus/DataPropertyPointer.java: ASCII text data/fact++-1.6.5~dfsg/mavenreleaseowlapi4/src/main/java/uk/ac/manchester/cs/factplusplus/DataTypeExpressionPointer.java: ASCII text data/fact++-1.6.5~dfsg/mavenreleaseowlapi4/src/main/java/uk/ac/manchester/cs/factplusplus/DataTypeFacet.java: ASCII text data/fact++-1.6.5~dfsg/mavenreleaseowlapi4/src/main/java/uk/ac/manchester/cs/factplusplus/DataTypePointer.java: ASCII text data/fact++-1.6.5~dfsg/mavenreleaseowlapi4/src/main/java/uk/ac/manchester/cs/factplusplus/DataValuePointer.java: ASCII text data/fact++-1.6.5~dfsg/mavenreleaseowlapi4/src/main/java/uk/ac/manchester/cs/factplusplus/FaCTPlusPlus.java: Java source, ASCII text data/fact++-1.6.5~dfsg/mavenreleaseowlapi4/src/main/java/uk/ac/manchester/cs/factplusplus/FaCTPlusPlusException.java: Java source, ASCII text data/fact++-1.6.5~dfsg/mavenreleaseowlapi4/src/main/java/uk/ac/manchester/cs/factplusplus/FaCTPlusPlusProgressMonitor.java: ASCII text data/fact++-1.6.5~dfsg/mavenreleaseowlapi4/src/main/java/uk/ac/manchester/cs/factplusplus/IndividualPointer.java: ASCII text data/fact++-1.6.5~dfsg/mavenreleaseowlapi4/src/main/java/uk/ac/manchester/cs/factplusplus/NodePointer.java: ASCII text data/fact++-1.6.5~dfsg/mavenreleaseowlapi4/src/main/java/uk/ac/manchester/cs/factplusplus/ObjectPropertyPointer.java: ASCII text data/fact++-1.6.5~dfsg/mavenreleaseowlapi4/src/main/java/uk/ac/manchester/cs/factplusplus/Pointer.java: ASCII text data/fact++-1.6.5~dfsg/mavenreleaseowlapi4/src/main/java/uk/ac/manchester/cs/factplusplus/QuietProgressMonitor.java: ASCII text data/fact++-1.6.5~dfsg/mavenreleaseowlapi4/src/main/java/uk/ac/manchester/cs/factplusplus/owlapiv3/FaCTPlusPlusReasoner.java: Java source, ASCII text data/fact++-1.6.5~dfsg/mavenreleaseowlapi4/src/main/java/uk/ac/manchester/cs/factplusplus/owlapiv3/FaCTPlusPlusReasonerFactory.java: Java source, ASCII text data/fact++-1.6.5~dfsg/mavenreleaseowlapi4/src/main/java/uk/ac/manchester/cs/factplusplus/owlapiv3/ModuleMethod.java: ASCII text, with very long lines data/fact++-1.6.5~dfsg/mavenreleaseowlapi4/src/main/java/uk/ac/manchester/cs/factplusplus/owlapiv3/OWLKnowledgeExplorationReasonerWrapper.java: Java source, ASCII text data/fact++-1.6.5~dfsg/mavenreleaseowlapi4/src/main/java/uk/ac/manchester/cs/factplusplus/protege/FaCTPlusPlusFactory.java: Java source, ASCII text data/fact++-1.6.5~dfsg/mavenreleaseowlapi4/src/main/java/uk/ac/manchester/cs/factplusplus/protege/FaCTPlusPlusRenderingViewComponent.java: Java source, ASCII text data/fact++-1.6.5~dfsg/mavenreleaseowlapi4/src/main/resources/META-INF/MANIFEST.MF: ASCII text data/fact++-1.6.5~dfsg/mavenreleaseowlapi4/src/main/resources/plugin.xml: XML 1.0 document, ASCII text data/fact++-1.6.5~dfsg/mavenreleaseowlapi4/src/test/java/bugs/AddIndividualsAfterLoadingTestCase.java: Perl5 module source, ASCII text data/fact++-1.6.5~dfsg/mavenreleaseowlapi4/src/test/java/bugs/DebugVerifyComplianceUniversityTestCase.java: Perl5 module source, ASCII text data/fact++-1.6.5~dfsg/mavenreleaseowlapi4/src/test/java/bugs/VerifyComplianceBase.java: Perl5 module source, ASCII text data/fact++-1.6.5~dfsg/mavenreleaseowlapi4/src/test/java/bugs/VerifyComplianceHost.java: Perl5 module source, ASCII text data/fact++-1.6.5~dfsg/mavenreleaseowlapi4/src/test/java/bugs/VerifyComplianceMereology.java: Perl5 module source, ASCII text data/fact++-1.6.5~dfsg/mavenreleaseowlapi4/src/test/java/bugs/VerifyComplianceMiniTambis.java: Perl5 module source, ASCII text data/fact++-1.6.5~dfsg/mavenreleaseowlapi4/src/test/java/bugs/VerifyComplianceOWLS.java: Perl5 module source, ASCII text data/fact++-1.6.5~dfsg/mavenreleaseowlapi4/src/test/java/bugs/VerifyComplianceOWLSNewFeatures.java: Perl5 module source, UTF-8 Unicode text, with very long lines data/fact++-1.6.5~dfsg/mavenreleaseowlapi4/src/test/java/bugs/VerifyCompliancePeople.java: Perl5 module source, ASCII text, with very long lines data/fact++-1.6.5~dfsg/mavenreleaseowlapi4/src/test/java/bugs/VerifyComplianceUniversityTestCase.java: Perl5 module source, ASCII text data/fact++-1.6.5~dfsg/mavenreleaseowlapi4/src/test/java/bugs/debug/Broken.java: Java source, ASCII text data/fact++-1.6.5~dfsg/mavenreleaseowlapi4/src/test/java/conformancetests/Changed.java: Perl5 module source, ASCII text data/fact++-1.6.5~dfsg/mavenreleaseowlapi4/src/test/java/conformancetests/Fixed.java: Perl5 module source, ASCII text, with very long lines data/fact++-1.6.5~dfsg/mavenreleaseowlapi4/src/test/java/conformancetests/HasSelfSupportTestCase.java: Perl5 module source, ASCII text data/fact++-1.6.5~dfsg/mavenreleaseowlapi4/src/test/java/conformancetests/JUnitRunner.java: Perl5 module source, ASCII text data/fact++-1.6.5~dfsg/mavenreleaseowlapi4/src/test/java/conformancetests/JUnitRunnerFromFile.java: Perl5 module source, ASCII text data/fact++-1.6.5~dfsg/mavenreleaseowlapi4/src/test/java/conformancetests/NewFeatures.java: Perl5 module source, ASCII text, with very long lines data/fact++-1.6.5~dfsg/mavenreleaseowlapi4/src/test/java/conformancetests/OWL2.java: Perl5 module source, ASCII text data/fact++-1.6.5~dfsg/mavenreleaseowlapi4/src/test/java/conformancetests/ProcessesTestCase.java: Perl5 module source, ASCII text data/fact++-1.6.5~dfsg/mavenreleaseowlapi4/src/test/java/conformancetests/RDFBased.java: Perl5 module source, ASCII text data/fact++-1.6.5~dfsg/mavenreleaseowlapi4/src/test/java/conformancetests/Strange.java: Perl5 module source, ASCII text data/fact++-1.6.5~dfsg/mavenreleaseowlapi4/src/test/java/conformancetests/TestClasses.java: Perl5 module source, ASCII text data/fact++-1.6.5~dfsg/mavenreleaseowlapi4/src/test/java/conformancetests/TestDateTime.java: Perl5 module source, ASCII text data/fact++-1.6.5~dfsg/mavenreleaseowlapi4/src/test/java/conformancetests/TopObjectPropertyTest.java: Perl5 module source, ASCII text data/fact++-1.6.5~dfsg/mavenreleaseowlapi4/src/test/java/conformancetests/WebOnt.java: Perl5 module source, ASCII text, with very long lines data/fact++-1.6.5~dfsg/mavenreleaseowlapi4/src/test/java/conformancetests/WebOnt208.java: Perl5 module source, ASCII text, with very long lines data/fact++-1.6.5~dfsg/mavenreleaseowlapi4/src/test/java/conformancetests/WebOnt661.java: Perl5 module source, ASCII text, with very long lines data/fact++-1.6.5~dfsg/mavenreleaseowlapi4/src/test/java/conformancetests/WebOnt_AnnotationProperty_002.java: Perl5 module source, ASCII text, with very long lines data/fact++-1.6.5~dfsg/mavenreleaseowlapi4/src/test/java/conformancetests/WebOnt_allValuesFrom_001.java: Perl5 module source, ASCII text, with very long lines data/fact++-1.6.5~dfsg/mavenreleaseowlapi4/src/test/java/conformancetests/WebOnt_description_logic_209.java: Perl5 module source, ASCII text, with very long lines data/fact++-1.6.5~dfsg/mavenreleaseowlapi4/src/test/java/conformancetests/WebOnt_description_logic_602_test.java: Perl5 module source, ASCII text data/fact++-1.6.5~dfsg/mavenreleaseowlapi4/src/test/java/conformancetests/WebOnt_miscellaneous_002.java: Perl5 module source, ASCII text, with very long lines data/fact++-1.6.5~dfsg/mavenreleaseowlapi4/src/test/java/conformancetests/WebOnt_miscellaneous_wine.java: Perl5 module source, ASCII text, with very long lines data/fact++-1.6.5~dfsg/mavenreleaseowlapi4/src/test/java/testbase/TestBase.java: Perl5 module source, ASCII text data/fact++-1.6.5~dfsg/mavenreleaseowlapi4/src/test/resources/AF_OWLS.owl.xml: XML 1.0 document, ASCII text data/fact++-1.6.5~dfsg/mavenreleaseowlapi4/src/test/resources/AF_miniTambis.owl.xml: XML 1.0 document, ASCII text data/fact++-1.6.5~dfsg/mavenreleaseowlapi4/src/test/resources/host.owl: XML 1.0 document, ASCII text data/fact++-1.6.5~dfsg/update.properties: ASCII text data/fact++-1.6.5~dfsg/update.properties.p4.1: ASCII text data/fact++-1.6.5~dfsg/version-info-p4.1.html: HTML document, ASCII text data/fact++-1.6.5~dfsg/version-info.html: HTML document, ASCII text data/fact++-1.6.5~dfsg/debian/TODO: ASCII text data/fact++-1.6.5~dfsg/debian/changelog: ASCII text data/fact++-1.6.5~dfsg/debian/control: ASCII text data/fact++-1.6.5~dfsg/debian/copyright: ASCII text data/fact++-1.6.5~dfsg/debian/copyright-check: POSIX shell script, ASCII text executable data/fact++-1.6.5~dfsg/debian/copyright_hints: ASCII text data/fact++-1.6.5~dfsg/debian/examples: ASCII text data/fact++-1.6.5~dfsg/debian/gbp.conf: ASCII text data/fact++-1.6.5~dfsg/debian/install: ASCII text data/fact++-1.6.5~dfsg/debian/patches/1001_gcc-10.patch: unified diff output, ASCII text data/fact++-1.6.5~dfsg/debian/patches/README: ASCII text data/fact++-1.6.5~dfsg/debian/patches/series: ASCII text data/fact++-1.6.5~dfsg/debian/rules: C source, ASCII text data/fact++-1.6.5~dfsg/debian/source/format: ASCII text data/fact++-1.6.5~dfsg/debian/source/lintian-overrides: ASCII text data/fact++-1.6.5~dfsg/debian/tests/FaCT++.t: ASCII text data/fact++-1.6.5~dfsg/debian/tests/control: ASCII text data/fact++-1.6.5~dfsg/debian/watch: ASCII text data/fact++-1.6.5~dfsg/.pc/.version: ASCII text data/fact++-1.6.5~dfsg/.pc/.quilt_patches: ASCII text data/fact++-1.6.5~dfsg/.pc/.quilt_series: ASCII text data/fact++-1.6.5~dfsg/.pc/applied-patches: ASCII text data/fact++-1.6.5~dfsg/.pc/1001_gcc-10.patch/Kernel/AtomicDecomposer.h: C++ source, ASCII text