├── .gitignore ├── CMakeLists.txt ├── README.md ├── changelog ├── copyright ├── doc ├── CMakeLists.txt ├── Doxyfile.remake ├── License.dox.remake └── Main.dox.remake └── src ├── CMakeLists.txt └── lib ├── Actor.cpp ├── Actor.h ├── AtomicDecomposer.cpp ├── AtomicDecomposer.h ├── BiPointer.h ├── Blocking.cpp ├── BuildDAG.cpp ├── CGLabel.h ├── CMakeLists.txt ├── CWDArray.cpp ├── CWDArray.h ├── CascadedCache.cpp ├── ConceptWithDep.h ├── DLConceptTaxonomy.cpp ├── DLConceptTaxonomy.h ├── DataReasoning.cpp ├── DataReasoning.h ├── DataTypeCenter.cpp ├── DataTypeCenter.h ├── DataTypeComparator.h ├── DeletelessAllocator.h ├── DepSet.h ├── ExtendedDataRange.cpp ├── ExtendedSyntacticLocalityChecker.h ├── GeneralSyntacticLocalityChecker.h ├── Incremental.cpp ├── Input.cpp ├── Kernel.cpp ├── Kernel.h ├── KnowledgeExplorer.cpp ├── KnowledgeExplorer.h ├── LeveLogger.cpp ├── LeveLogger.h ├── LocalityChecker.cpp ├── LocalityChecker.h ├── LogicFeature.cpp ├── LogicFeature.h ├── Modularity.h ├── ModuleMethod.h ├── ModuleType.h ├── OntologyBasedModularizer.h ├── Preprocess.cpp ├── PriorityMatrix.h ├── ProgressIndicatorInterface.h ├── RAutomaton.cpp ├── RAutomaton.h ├── Reasoner.cpp ├── Reasoner.h ├── ReasonerNom.cpp ├── ReasonerNom.h ├── Relevance.cpp ├── RoleMaster.cpp ├── RoleMaster.h ├── SaveLoad.cpp ├── SaveLoadManager.cpp ├── SaveLoadManager.h ├── SearchableStack.h ├── SemanticLocalityChecker.h ├── SigIndex.h ├── SortedReasoning.cpp ├── SyntacticLocalityChecker.h ├── Tactic.cpp ├── TaxGatheringWalker.h ├── Taxonomy.cpp ├── Taxonomy.h ├── TaxonomyCreator.cpp ├── TaxonomyCreator.h ├── ToDoList.h ├── WalkerInterface.h ├── configure.cpp ├── configure.h ├── counter.h ├── cpm.h ├── cppi.h ├── dir_util.cpp ├── dir_util.h ├── dlCompletionGraph.cpp ├── dlCompletionGraph.h ├── dlCompletionTree.cpp ├── dlCompletionTree.h ├── dlCompletionTreeArc.h ├── dlDag.cpp ├── dlDag.h ├── dlTBox.cpp ├── dlTBox.h ├── dlVHash.h ├── dlVHashImpl.h ├── dlVertex.cpp ├── dlVertex.h ├── dltree.cpp ├── dltree.h ├── dumpInterface.cpp ├── dumpInterface.h ├── dumpLisp.cpp ├── dumpLisp.h ├── eFPPCantRegName.h ├── eFPPCycleInRIA.h ├── eFPPInconsistentKB.h ├── eFPPNonSimpleRole.h ├── eFPPSaveLoad.h ├── eFPPTimeout.h ├── eFaCTPlusPlus.h ├── flags.h ├── fpp_assert.h ├── globaldef.h ├── grammar.h ├── growingArrayP.h ├── ifOptions.cpp ├── ifOptions.h ├── logging.h ├── mergableLabel.h ├── modelCacheConst.h ├── modelCacheIan.cpp ├── modelCacheIan.h ├── modelCacheInterface.h ├── modelCacheSingleton.h ├── parseTime.cpp ├── parseTime.h ├── procTimer.h ├── tAxiom.cpp ├── tAxiom.h ├── tAxiomSet.cpp ├── tAxiomSet.h ├── tBranchingContext.h ├── tConcept.cpp ├── tConcept.h ├── tCounter.h ├── tDLAxiom.cpp ├── tDLAxiom.h ├── tDLExpression.h ├── tDag2Interface.cpp ├── tDag2Interface.h ├── tDataEntry.h ├── tDataType.h ├── tDataTypeBool.h ├── tDataTypeManager.h ├── tDepSet.h ├── tExpressionManager.cpp ├── tExpressionManager.h ├── tExpressionPrinterLISP.h ├── tExpressionTranslator.h ├── tFastSet.h ├── tHeadTailCache.h ├── tIndividual.h ├── tKBFlags.h ├── tLabeller.h ├── tLexeme.h ├── tNAryQueue.h ├── tNECollection.h ├── tNameSet.h ├── tNamedEntry.h ├── tOntology.h ├── tOntologyAtom.h ├── tOntologyLoader.h ├── tOntologyPrinterLISP.h ├── tProgressMonitor.h ├── tRareSaveStack.h ├── tRelated.h ├── tRestorer.h ├── tRole.cpp ├── tRole.h ├── tSaveList.h ├── tSaveStack.h ├── tSetAsTree.h ├── tSignature.h ├── tSignatureUpdater.h ├── taxNamEntry.h ├── taxVertex.cpp ├── taxVertex.h └── tsttree.h /.gitignore: -------------------------------------------------------------------------------- 1 | build* 2 | -------------------------------------------------------------------------------- /CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/CMakeLists.txt -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/README.md -------------------------------------------------------------------------------- /changelog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/changelog -------------------------------------------------------------------------------- /copyright: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/copyright -------------------------------------------------------------------------------- /doc/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/doc/CMakeLists.txt -------------------------------------------------------------------------------- /doc/Doxyfile.remake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/doc/Doxyfile.remake -------------------------------------------------------------------------------- /doc/License.dox.remake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/doc/License.dox.remake -------------------------------------------------------------------------------- /doc/Main.dox.remake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/doc/Main.dox.remake -------------------------------------------------------------------------------- /src/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/CMakeLists.txt -------------------------------------------------------------------------------- /src/lib/Actor.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/Actor.cpp -------------------------------------------------------------------------------- /src/lib/Actor.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/Actor.h -------------------------------------------------------------------------------- /src/lib/AtomicDecomposer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/AtomicDecomposer.cpp -------------------------------------------------------------------------------- /src/lib/AtomicDecomposer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/AtomicDecomposer.h -------------------------------------------------------------------------------- /src/lib/BiPointer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/BiPointer.h -------------------------------------------------------------------------------- /src/lib/Blocking.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/Blocking.cpp -------------------------------------------------------------------------------- /src/lib/BuildDAG.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/BuildDAG.cpp -------------------------------------------------------------------------------- /src/lib/CGLabel.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/CGLabel.h -------------------------------------------------------------------------------- /src/lib/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/CMakeLists.txt -------------------------------------------------------------------------------- /src/lib/CWDArray.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/CWDArray.cpp -------------------------------------------------------------------------------- /src/lib/CWDArray.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/CWDArray.h -------------------------------------------------------------------------------- /src/lib/CascadedCache.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/CascadedCache.cpp -------------------------------------------------------------------------------- /src/lib/ConceptWithDep.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/ConceptWithDep.h -------------------------------------------------------------------------------- /src/lib/DLConceptTaxonomy.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/DLConceptTaxonomy.cpp -------------------------------------------------------------------------------- /src/lib/DLConceptTaxonomy.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/DLConceptTaxonomy.h -------------------------------------------------------------------------------- /src/lib/DataReasoning.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/DataReasoning.cpp -------------------------------------------------------------------------------- /src/lib/DataReasoning.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/DataReasoning.h -------------------------------------------------------------------------------- /src/lib/DataTypeCenter.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/DataTypeCenter.cpp -------------------------------------------------------------------------------- /src/lib/DataTypeCenter.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/DataTypeCenter.h -------------------------------------------------------------------------------- /src/lib/DataTypeComparator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/DataTypeComparator.h -------------------------------------------------------------------------------- /src/lib/DeletelessAllocator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/DeletelessAllocator.h -------------------------------------------------------------------------------- /src/lib/DepSet.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/DepSet.h -------------------------------------------------------------------------------- /src/lib/ExtendedDataRange.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/ExtendedDataRange.cpp -------------------------------------------------------------------------------- /src/lib/ExtendedSyntacticLocalityChecker.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/ExtendedSyntacticLocalityChecker.h -------------------------------------------------------------------------------- /src/lib/GeneralSyntacticLocalityChecker.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/GeneralSyntacticLocalityChecker.h -------------------------------------------------------------------------------- /src/lib/Incremental.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/Incremental.cpp -------------------------------------------------------------------------------- /src/lib/Input.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/Input.cpp -------------------------------------------------------------------------------- /src/lib/Kernel.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/Kernel.cpp -------------------------------------------------------------------------------- /src/lib/Kernel.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/Kernel.h -------------------------------------------------------------------------------- /src/lib/KnowledgeExplorer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/KnowledgeExplorer.cpp -------------------------------------------------------------------------------- /src/lib/KnowledgeExplorer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/KnowledgeExplorer.h -------------------------------------------------------------------------------- /src/lib/LeveLogger.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/LeveLogger.cpp -------------------------------------------------------------------------------- /src/lib/LeveLogger.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/LeveLogger.h -------------------------------------------------------------------------------- /src/lib/LocalityChecker.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/LocalityChecker.cpp -------------------------------------------------------------------------------- /src/lib/LocalityChecker.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/LocalityChecker.h -------------------------------------------------------------------------------- /src/lib/LogicFeature.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/LogicFeature.cpp -------------------------------------------------------------------------------- /src/lib/LogicFeature.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/LogicFeature.h -------------------------------------------------------------------------------- /src/lib/Modularity.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/Modularity.h -------------------------------------------------------------------------------- /src/lib/ModuleMethod.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/ModuleMethod.h -------------------------------------------------------------------------------- /src/lib/ModuleType.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/ModuleType.h -------------------------------------------------------------------------------- /src/lib/OntologyBasedModularizer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/OntologyBasedModularizer.h -------------------------------------------------------------------------------- /src/lib/Preprocess.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/Preprocess.cpp -------------------------------------------------------------------------------- /src/lib/PriorityMatrix.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/PriorityMatrix.h -------------------------------------------------------------------------------- /src/lib/ProgressIndicatorInterface.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/ProgressIndicatorInterface.h -------------------------------------------------------------------------------- /src/lib/RAutomaton.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/RAutomaton.cpp -------------------------------------------------------------------------------- /src/lib/RAutomaton.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/RAutomaton.h -------------------------------------------------------------------------------- /src/lib/Reasoner.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/Reasoner.cpp -------------------------------------------------------------------------------- /src/lib/Reasoner.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/Reasoner.h -------------------------------------------------------------------------------- /src/lib/ReasonerNom.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/ReasonerNom.cpp -------------------------------------------------------------------------------- /src/lib/ReasonerNom.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/ReasonerNom.h -------------------------------------------------------------------------------- /src/lib/Relevance.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/Relevance.cpp -------------------------------------------------------------------------------- /src/lib/RoleMaster.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/RoleMaster.cpp -------------------------------------------------------------------------------- /src/lib/RoleMaster.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/RoleMaster.h -------------------------------------------------------------------------------- /src/lib/SaveLoad.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/SaveLoad.cpp -------------------------------------------------------------------------------- /src/lib/SaveLoadManager.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/SaveLoadManager.cpp -------------------------------------------------------------------------------- /src/lib/SaveLoadManager.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/SaveLoadManager.h -------------------------------------------------------------------------------- /src/lib/SearchableStack.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/SearchableStack.h -------------------------------------------------------------------------------- /src/lib/SemanticLocalityChecker.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/SemanticLocalityChecker.h -------------------------------------------------------------------------------- /src/lib/SigIndex.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/SigIndex.h -------------------------------------------------------------------------------- /src/lib/SortedReasoning.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/SortedReasoning.cpp -------------------------------------------------------------------------------- /src/lib/SyntacticLocalityChecker.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/SyntacticLocalityChecker.h -------------------------------------------------------------------------------- /src/lib/Tactic.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/Tactic.cpp -------------------------------------------------------------------------------- /src/lib/TaxGatheringWalker.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/TaxGatheringWalker.h -------------------------------------------------------------------------------- /src/lib/Taxonomy.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/Taxonomy.cpp -------------------------------------------------------------------------------- /src/lib/Taxonomy.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/Taxonomy.h -------------------------------------------------------------------------------- /src/lib/TaxonomyCreator.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/TaxonomyCreator.cpp -------------------------------------------------------------------------------- /src/lib/TaxonomyCreator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/TaxonomyCreator.h -------------------------------------------------------------------------------- /src/lib/ToDoList.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/ToDoList.h -------------------------------------------------------------------------------- /src/lib/WalkerInterface.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/WalkerInterface.h -------------------------------------------------------------------------------- /src/lib/configure.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/configure.cpp -------------------------------------------------------------------------------- /src/lib/configure.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/configure.h -------------------------------------------------------------------------------- /src/lib/counter.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/counter.h -------------------------------------------------------------------------------- /src/lib/cpm.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/cpm.h -------------------------------------------------------------------------------- /src/lib/cppi.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/cppi.h -------------------------------------------------------------------------------- /src/lib/dir_util.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/dir_util.cpp -------------------------------------------------------------------------------- /src/lib/dir_util.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/dir_util.h -------------------------------------------------------------------------------- /src/lib/dlCompletionGraph.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/dlCompletionGraph.cpp -------------------------------------------------------------------------------- /src/lib/dlCompletionGraph.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/dlCompletionGraph.h -------------------------------------------------------------------------------- /src/lib/dlCompletionTree.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/dlCompletionTree.cpp -------------------------------------------------------------------------------- /src/lib/dlCompletionTree.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/dlCompletionTree.h -------------------------------------------------------------------------------- /src/lib/dlCompletionTreeArc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/dlCompletionTreeArc.h -------------------------------------------------------------------------------- /src/lib/dlDag.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/dlDag.cpp -------------------------------------------------------------------------------- /src/lib/dlDag.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/dlDag.h -------------------------------------------------------------------------------- /src/lib/dlTBox.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/dlTBox.cpp -------------------------------------------------------------------------------- /src/lib/dlTBox.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/dlTBox.h -------------------------------------------------------------------------------- /src/lib/dlVHash.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/dlVHash.h -------------------------------------------------------------------------------- /src/lib/dlVHashImpl.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/dlVHashImpl.h -------------------------------------------------------------------------------- /src/lib/dlVertex.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/dlVertex.cpp -------------------------------------------------------------------------------- /src/lib/dlVertex.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/dlVertex.h -------------------------------------------------------------------------------- /src/lib/dltree.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/dltree.cpp -------------------------------------------------------------------------------- /src/lib/dltree.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/dltree.h -------------------------------------------------------------------------------- /src/lib/dumpInterface.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/dumpInterface.cpp -------------------------------------------------------------------------------- /src/lib/dumpInterface.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/dumpInterface.h -------------------------------------------------------------------------------- /src/lib/dumpLisp.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/dumpLisp.cpp -------------------------------------------------------------------------------- /src/lib/dumpLisp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/dumpLisp.h -------------------------------------------------------------------------------- /src/lib/eFPPCantRegName.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/eFPPCantRegName.h -------------------------------------------------------------------------------- /src/lib/eFPPCycleInRIA.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/eFPPCycleInRIA.h -------------------------------------------------------------------------------- /src/lib/eFPPInconsistentKB.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/eFPPInconsistentKB.h -------------------------------------------------------------------------------- /src/lib/eFPPNonSimpleRole.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/eFPPNonSimpleRole.h -------------------------------------------------------------------------------- /src/lib/eFPPSaveLoad.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/eFPPSaveLoad.h -------------------------------------------------------------------------------- /src/lib/eFPPTimeout.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/eFPPTimeout.h -------------------------------------------------------------------------------- /src/lib/eFaCTPlusPlus.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/eFaCTPlusPlus.h -------------------------------------------------------------------------------- /src/lib/flags.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/flags.h -------------------------------------------------------------------------------- /src/lib/fpp_assert.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/fpp_assert.h -------------------------------------------------------------------------------- /src/lib/globaldef.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/globaldef.h -------------------------------------------------------------------------------- /src/lib/grammar.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/grammar.h -------------------------------------------------------------------------------- /src/lib/growingArrayP.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/growingArrayP.h -------------------------------------------------------------------------------- /src/lib/ifOptions.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/ifOptions.cpp -------------------------------------------------------------------------------- /src/lib/ifOptions.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/ifOptions.h -------------------------------------------------------------------------------- /src/lib/logging.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/logging.h -------------------------------------------------------------------------------- /src/lib/mergableLabel.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/mergableLabel.h -------------------------------------------------------------------------------- /src/lib/modelCacheConst.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/modelCacheConst.h -------------------------------------------------------------------------------- /src/lib/modelCacheIan.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/modelCacheIan.cpp -------------------------------------------------------------------------------- /src/lib/modelCacheIan.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/modelCacheIan.h -------------------------------------------------------------------------------- /src/lib/modelCacheInterface.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/modelCacheInterface.h -------------------------------------------------------------------------------- /src/lib/modelCacheSingleton.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/modelCacheSingleton.h -------------------------------------------------------------------------------- /src/lib/parseTime.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/parseTime.cpp -------------------------------------------------------------------------------- /src/lib/parseTime.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/parseTime.h -------------------------------------------------------------------------------- /src/lib/procTimer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/procTimer.h -------------------------------------------------------------------------------- /src/lib/tAxiom.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/tAxiom.cpp -------------------------------------------------------------------------------- /src/lib/tAxiom.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/tAxiom.h -------------------------------------------------------------------------------- /src/lib/tAxiomSet.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/tAxiomSet.cpp -------------------------------------------------------------------------------- /src/lib/tAxiomSet.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/tAxiomSet.h -------------------------------------------------------------------------------- /src/lib/tBranchingContext.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/tBranchingContext.h -------------------------------------------------------------------------------- /src/lib/tConcept.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/tConcept.cpp -------------------------------------------------------------------------------- /src/lib/tConcept.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/tConcept.h -------------------------------------------------------------------------------- /src/lib/tCounter.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/tCounter.h -------------------------------------------------------------------------------- /src/lib/tDLAxiom.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/tDLAxiom.cpp -------------------------------------------------------------------------------- /src/lib/tDLAxiom.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/tDLAxiom.h -------------------------------------------------------------------------------- /src/lib/tDLExpression.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/tDLExpression.h -------------------------------------------------------------------------------- /src/lib/tDag2Interface.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/tDag2Interface.cpp -------------------------------------------------------------------------------- /src/lib/tDag2Interface.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/tDag2Interface.h -------------------------------------------------------------------------------- /src/lib/tDataEntry.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/tDataEntry.h -------------------------------------------------------------------------------- /src/lib/tDataType.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/tDataType.h -------------------------------------------------------------------------------- /src/lib/tDataTypeBool.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/tDataTypeBool.h -------------------------------------------------------------------------------- /src/lib/tDataTypeManager.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/tDataTypeManager.h -------------------------------------------------------------------------------- /src/lib/tDepSet.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/tDepSet.h -------------------------------------------------------------------------------- /src/lib/tExpressionManager.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/tExpressionManager.cpp -------------------------------------------------------------------------------- /src/lib/tExpressionManager.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/tExpressionManager.h -------------------------------------------------------------------------------- /src/lib/tExpressionPrinterLISP.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/tExpressionPrinterLISP.h -------------------------------------------------------------------------------- /src/lib/tExpressionTranslator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/tExpressionTranslator.h -------------------------------------------------------------------------------- /src/lib/tFastSet.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/tFastSet.h -------------------------------------------------------------------------------- /src/lib/tHeadTailCache.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/tHeadTailCache.h -------------------------------------------------------------------------------- /src/lib/tIndividual.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/tIndividual.h -------------------------------------------------------------------------------- /src/lib/tKBFlags.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/tKBFlags.h -------------------------------------------------------------------------------- /src/lib/tLabeller.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/tLabeller.h -------------------------------------------------------------------------------- /src/lib/tLexeme.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/tLexeme.h -------------------------------------------------------------------------------- /src/lib/tNAryQueue.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/tNAryQueue.h -------------------------------------------------------------------------------- /src/lib/tNECollection.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/tNECollection.h -------------------------------------------------------------------------------- /src/lib/tNameSet.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/tNameSet.h -------------------------------------------------------------------------------- /src/lib/tNamedEntry.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/tNamedEntry.h -------------------------------------------------------------------------------- /src/lib/tOntology.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/tOntology.h -------------------------------------------------------------------------------- /src/lib/tOntologyAtom.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/tOntologyAtom.h -------------------------------------------------------------------------------- /src/lib/tOntologyLoader.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/tOntologyLoader.h -------------------------------------------------------------------------------- /src/lib/tOntologyPrinterLISP.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/tOntologyPrinterLISP.h -------------------------------------------------------------------------------- /src/lib/tProgressMonitor.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/tProgressMonitor.h -------------------------------------------------------------------------------- /src/lib/tRareSaveStack.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/tRareSaveStack.h -------------------------------------------------------------------------------- /src/lib/tRelated.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/tRelated.h -------------------------------------------------------------------------------- /src/lib/tRestorer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/tRestorer.h -------------------------------------------------------------------------------- /src/lib/tRole.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/tRole.cpp -------------------------------------------------------------------------------- /src/lib/tRole.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/tRole.h -------------------------------------------------------------------------------- /src/lib/tSaveList.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/tSaveList.h -------------------------------------------------------------------------------- /src/lib/tSaveStack.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/tSaveStack.h -------------------------------------------------------------------------------- /src/lib/tSetAsTree.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/tSetAsTree.h -------------------------------------------------------------------------------- /src/lib/tSignature.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/tSignature.h -------------------------------------------------------------------------------- /src/lib/tSignatureUpdater.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/tSignatureUpdater.h -------------------------------------------------------------------------------- /src/lib/taxNamEntry.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/taxNamEntry.h -------------------------------------------------------------------------------- /src/lib/taxVertex.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/taxVertex.cpp -------------------------------------------------------------------------------- /src/lib/taxVertex.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/taxVertex.h -------------------------------------------------------------------------------- /src/lib/tsttree.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ethz-asl/libfactplusplus/HEAD/src/lib/tsttree.h --------------------------------------------------------------------------------