Folder: RequirementMachine

package info (click to toggle)

swiftlang 6.2.3-1

links: PTS, VCS
area: main
in suites: forky, sid
size: 2,856,264 kB
sloc: cpp: 9,995,718; ansic: 2,234,019; asm: 1,092,167; python: 313,940; objc: 82,726; f90: 80,126; lisp: 38,373; pascal: 25,580; sh: 20,378; ml: 5,058; perl: 4,751; makefile: 4,725; awk: 3,535; javascript: 3,018; xml: 918; fortran: 664; cs: 573; ruby: 396

			.. (parent)
-	rw-r--r--	26,149	ConcreteContraction.cpp
-	rw-r--r--	22,176	ConcreteTypeWitness.cpp
-	rw-r--r--	2,578	Debug.h
-	rw-r--r--	14,269	Diagnostics.cpp
-	rw-r--r--	8,321	Diagnostics.h
-	rw-r--r--	29,556	GenericSignatureQueries.cpp
-	rw-r--r--	4,550	Histogram.h
-	rw-r--r--	28,595	HomotopyReduction.cpp
-	rw-r--r--	22,877	InterfaceType.cpp
-	rw-r--r--	17,156	KnuthBendix.cpp
-	rw-r--r--	34,539	MinimalConformances.cpp
-	rw-r--r--	2,350	NameLookup.cpp
-	rw-r--r--	1,141	NameLookup.h
-	rw-r--r--	8,995	NormalizeRewritePath.cpp
-	rw-r--r--	17,344	PropertyMap.cpp
-	rw-r--r--	10,423	PropertyMap.h
-	rw-r--r--	5,755	PropertyRelations.cpp
-	rw-r--r--	27,810	PropertyUnification.cpp
-	rw-r--r--	14,084	RequirementBuilder.cpp
-	rw-r--r--	59,443	RequirementLowering.cpp
-	rw-r--r--	2,934	RequirementLowering.h
-	rw-r--r--	20,736	RequirementMachine.cpp
-	rw-r--r--	6,672	RequirementMachine.h
-	rw-r--r--	41,944	RequirementMachineRequests.cpp
-	rw-r--r--	21,959	RewriteContext.cpp
-	rw-r--r--	7,277	RewriteContext.h
-	rw-r--r--	32,518	RewriteLoop.cpp
-	rw-r--r--	20,222	RewriteLoop.h
-	rw-r--r--	22,876	RewriteSystem.cpp
-	rw-r--r--	14,987	RewriteSystem.h
-	rw-r--r--	8,869	Rule.cpp
-	rw-r--r--	6,146	Rule.h
-	rw-r--r--	20,322	RuleBuilder.cpp
-	rw-r--r--	4,854	RuleBuilder.h
-	rw-r--r--	16,495	SimplifySubstitutions.cpp
-	rw-r--r--	23,446	Symbol.cpp
-	rw-r--r--	8,987	Symbol.h
-	rw-r--r--	7,251	Term.cpp
-	rw-r--r--	6,838	Term.h
-	rw-r--r--	4,945	Trie.h
-	rw-r--r--	18,965	TypeDifference.cpp
-	rw-r--r--	2,440	TypeDifference.h