Folder: Kernel

package info (click to toggle)

fact%2B%2B 1.6.5~dfsg-3

links: PTS, VCS
area: main
in suites: bookworm, bullseye, forky, sid, trixie
size: 4,496 kB
sloc: cpp: 28,000; java: 22,674; xml: 3,268; makefile: 102; ansic: 61; sh: 3

			.. (parent)
-	rw-r--r--	1,336	Actor.cpp
-	rw-r--r--	3,124	Actor.h
-	rw-r--r--	5,101	AtomicDecomposer.cpp
-	rw-r--r--	4,281	AtomicDecomposer.h
-	rw-r--r--	1,854	BiPointer.h
-	rw-r--r--	11,468	Blocking.cpp
-	rw-r--r--	8,877	BuildDAG.cpp
-	rw-r--r--	6,636	CGLabel.h
-	rw-r--r--	2,940	CMakeLists.txt
-	rw-r--r--	2,433	CWDArray.cpp
-	rw-r--r--	4,381	CWDArray.h
-	rw-r--r--	4,062	CascadedCache.cpp
-	rw-r--r--	2,819	ConceptWithDep.h
-	rw-r--r--	15,822	DLConceptTaxonomy.cpp
-	rw-r--r--	11,179	DLConceptTaxonomy.h
-	rw-r--r--	5,165	DataReasoning.cpp
-	rw-r--r--	10,296	DataReasoning.h
-	rw-r--r--	1,804	DataTypeCenter.cpp
-	rw-r--r--	5,674	DataTypeCenter.h
-	rw-r--r--	6,384	DataTypeComparator.h
-	rw-r--r--	1,459	DeletelessAllocator.h
-	rw-r--r--	1,231	DepSet.h
-	rw-r--r--	3,524	ExtendedDataRange.cpp
-	rw-r--r--	32,210	ExtendedSyntacticLocalityChecker.h
-	rw-r--r--	7,876	GeneralSyntacticLocalityChecker.h
-	rw-r--r--	8,443	Incremental.cpp
-	rw-r--r--	10,988	Input.cpp
-	rw-r--r--	26,694	Kernel.cpp
-	rw-r--r--	52,527	Kernel.h
-	rw-r--r--	5,190	KnowledgeExplorer.cpp
-	rw-r--r--	4,816	KnowledgeExplorer.h
-	rw-r--r--	1,826	LeveLogger.cpp
-	rw-r--r--	2,253	LeveLogger.h
-	rw-r--r--	1,415	LocalityChecker.cpp
-	rw-r--r--	3,245	LocalityChecker.h
-	rw-r--r--	3,037	LogicFeature.cpp
-	rw-r--r--	4,253	LogicFeature.h
-	rw-r--r--	1,333	Makefile
-	rw-r--r--	7,330	Modularity.h
-	rw-r--r--	981	ModuleMethod.h
-	rw-r--r--	960	ModuleType.h
-	rw-r--r--	1,979	OntologyBasedModularizer.h
-	rw-r--r--	16,034	Preprocess.cpp
-	rw-r--r--	3,687	PriorityMatrix.h
-	rw-r--r--	2,386	ProgressIndicatorInterface.h
-	rw-r--r--	4,524	RAutomaton.cpp
-	rw-r--r--	11,695	RAutomaton.h
-	rw-r--r--	18,694	Reasoner.cpp
-	rw-r--r--	41,381	Reasoner.h
-	rw-r--r--	4,802	ReasonerNom.cpp
-	rw-r--r--	3,517	ReasonerNom.h
-	rw-r--r--	4,707	Relevance.cpp
-	rw-r--r--	8,506	RoleMaster.cpp
-	rw-r--r--	6,016	RoleMaster.h
-	rw-r--r--	24,735	SaveLoad.cpp
-	rw-r--r--	2,028	SaveLoadManager.cpp
-	rw-r--r--	5,899	SaveLoadManager.h
-	rw-r--r--	2,699	SearchableStack.h
-	rw-r--r--	10,695	SemanticLocalityChecker.h
-	rw-r--r--	4,409	SigIndex.h
-	rw-r--r--	4,700	SortedReasoning.cpp
-	rw-r--r--	18,092	SyntacticLocalityChecker.h
-	rw-r--r--	52,520	Tactic.cpp
-	rw-r--r--	2,387	TaxGatheringWalker.h
-	rw-r--r--	4,033	Taxonomy.cpp
-	rw-r--r--	6,228	Taxonomy.h
-	rw-r--r--	6,589	TaxonomyCreator.cpp
-	rw-r--r--	10,014	TaxonomyCreator.h
-	rw-r--r--	9,627	ToDoList.h
-	rw-r--r--	1,475	WalkerInterface.h
-	rw-r--r--	5,907	configure.cpp
-	rw-r--r--	4,669	configure.h
-	rw-r--r--	1,492	counter.h
-	rw-r--r--	1,567	cpm.h
-	rw-r--r--	1,914	cppi.h
-	rw-r--r--	1,583	dir_util.cpp
-	rw-r--r--	1,065	dir_util.h
-	rw-r--r--	7,574	dlCompletionGraph.cpp
-	rw-r--r--	16,860	dlCompletionGraph.h
-	rw-r--r--	5,814	dlCompletionTree.cpp
-	rw-r--r--	22,994	dlCompletionTree.h
-	rw-r--r--	5,107	dlCompletionTreeArc.h
-	rw-r--r--	8,221	dlDag.cpp
-	rw-r--r--	10,656	dlDag.h
-	rw-r--r--	17,833	dlTBox.cpp
-	rw-r--r--	47,275	dlTBox.h
-	rw-r--r--	2,370	dlVHash.h
-	rw-r--r--	1,544	dlVHashImpl.h
-	rw-r--r--	5,762	dlVertex.cpp
-	rw-r--r--	15,224	dlVertex.h
-	rw-r--r--	10,031	dltree.cpp
-	rw-r--r--	5,913	dltree.h
-	rw-r--r--	6,640	dumpInterface.cpp
-	rw-r--r--	3,837	dumpInterface.h
-	rw-r--r--	2,001	dumpLisp.cpp
-	rw-r--r--	2,489	dumpLisp.h
-	rw-r--r--	1,638	eFPPCantRegName.h
-	rw-r--r--	1,642	eFPPCycleInRIA.h
-	rw-r--r--	1,140	eFPPInconsistentKB.h
-	rw-r--r--	1,653	eFPPNonSimpleRole.h
-	rw-r--r--	1,945	eFPPSaveLoad.h
-	rw-r--r--	1,107	eFPPTimeout.h
-	rw-r--r--	1,454	eFaCTPlusPlus.h
-	rw-r--r--	2,456	flags.h
-	rw-r--r--	1,632	fpp_assert.h
-	rw-r--r--	2,260	globaldef.h
-	rw-r--r--	1,699	grammar.h
-	rw-r--r--	3,015	growingArray.h
-	rw-r--r--	3,197	growingArrayP.h
-	rw-r--r--	3,398	ifOptions.cpp
-	rw-r--r--	5,465	ifOptions.h
-	rw-r--r--	1,792	logging.h
-	rw-r--r--	2,256	mergableLabel.h
-	rw-r--r--	2,612	modelCacheConst.h
-	rw-r--r--	7,203	modelCacheIan.cpp
-	rw-r--r--	8,330	modelCacheIan.h
-	rw-r--r--	3,751	modelCacheInterface.h
-	rw-r--r--	2,818	modelCacheSingleton.h
-	rw-r--r--	1,402	parseTime.cpp
-	rw-r--r--	1,091	parseTime.h
-	rw-r--r--	2,877	procTimer.h
-	rw-r--r--	10,257	tAxiom.cpp
-	rw-r--r--	10,538	tAxiom.h
-	rw-r--r--	5,693	tAxiomSet.cpp
-	rw-r--r--	5,418	tAxiomSet.h
-	rw-r--r--	5,478	tBranchingContext.h
-	rw-r--r--	6,504	tConcept.cpp
-	rw-r--r--	9,584	tConcept.h
-	rw-r--r--	1,923	tCounter.h
-	rw-r--r--	1,194	tDLAxiom.cpp
-	rw-r--r--	34,441	tDLAxiom.h
-	rw-r--r--	55,674	tDLExpression.h
-	rw-r--r--	2,639	tDag2Interface.cpp
-	rw-r--r--	3,815	tDag2Interface.h
-	rw-r--r--	8,247	tDataEntry.h
-	rw-r--r--	2,257	tDataType.h
-	rw-r--r--	1,223	tDataTypeBool.h
-	rw-r--r--	3,057	tDataTypeManager.h
-	rw-r--r--	7,627	tDepSet.h
-	rw-r--r--	2,067	tExpressionManager.cpp
-	rw-r--r--	16,012	tExpressionManager.h
-	rw-r--r--	8,161	tExpressionPrinterLISP.h
-	rw-r--r--	11,643	tExpressionTranslator.h
-	rw-r--r--	4,543	tFastSet.h
-	rw-r--r--	2,122	tHeadTailCache.h
-	rw-r--r--	5,084	tIndividual.h
-	rw-r--r--	1,410	tKBFlags.h
-	rw-r--r--	2,282	tLabeller.h
-	rw-r--r--	2,565	tLexeme.h
-	rw-r--r--	2,414	tNAryQueue.h
-	rw-r--r--	4,348	tNECollection.h
-	rw-r--r--	3,454	tNameSet.h
-	rw-r--r--	2,557	tNamedEntry.h
-	rw-r--r--	4,658	tOntology.h
-	rw-r--r--	3,753	tOntologyAtom.h
-	rw-r--r--	13,954	tOntologyLoader.h
-	rw-r--r--	7,231	tOntologyPrinterLISP.h
-	rw-r--r--	1,598	tProgressMonitor.h
-	rw-r--r--	2,417	tRareSaveStack.h
-	rw-r--r--	2,012	tRelated.h
-	rw-r--r--	1,516	tRestorer.h
-	rw-r--r--	11,978	tRole.cpp
-	rw-r--r--	19,148	tRole.h
-	rw-r--r--	3,164	tSaveList.h
-	rw-r--r--	1,936	tSaveStack.h
-	rw-r--r--	3,345	tSetAsTree.h
-	rw-r--r--	5,702	tSignature.h
-	rw-r--r--	9,210	tSignatureUpdater.h
-	rw-r--r--	5,554	taxNamEntry.h
-	rw-r--r--	4,076	taxVertex.cpp
-	rw-r--r--	8,388	taxVertex.h
-	rw-r--r--	2,165	tsttree.h