Folder: RequirementMachine

package info (click to toggle)

swiftlang 6.1.3-1

links: PTS, VCS
area: main
in suites: forky, sid
size: 2,791,532 kB
sloc: cpp: 9,901,743; ansic: 2,201,431; asm: 1,091,827; python: 308,252; objc: 82,166; f90: 80,126; lisp: 38,358; pascal: 25,559; sh: 20,429; ml: 5,058; perl: 4,745; makefile: 4,484; 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,427	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--	54,463	RequirementLowering.cpp
-	rw-r--r--	2,861	RequirementLowering.h
-	rw-r--r--	20,736	RequirementMachine.cpp
-	rw-r--r--	6,672	RequirementMachine.h
-	rw-r--r--	39,531	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,289	Symbol.cpp
-	rw-r--r--	8,950	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