10775 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	562515e93c	Clean up Slide refinement using the direction eliminator.	2017-03-17 10:28:31 -04:00
Rob Rix	2a4c8676fa	Clean up the bounds checks with when.	2017-03-17 10:25:15 -04:00
Rob Rix	dd4133d228	Clarify the underflow/overflow exceptions.	2017-03-17 10:21:47 -04:00
Rob Rix	b53fa3a283	Clean up FindDPath refinement using the direction eliminator.	2017-03-17 10:21:38 -04:00
Rob Rix	adffda01dc	Add an eliminator for Direction.	2017-03-17 10:16:07 -04:00
Rob Rix	64d8aced70	Encapsulate throwing failures.	2017-03-17 09:54:49 -04:00
Rob Rix	a8853d9807	Bounds check getK and throw locally.	2017-03-17 09:52:22 -04:00
Rob Rix	ede2ed9e9e	🔥 redundant parens.	2017-03-16 15:38:48 -04:00
Rob Rix	be58a09a02	🔥 divideAndConquer.	2017-03-16 15:27:34 -04:00
Rob Rix	ae4008f659	Compute the LCS as the SES minus insertions/deletions.	2017-03-16 15:27:20 -04:00
Rob Rix	0528845c83	Use the endpoint’s y value as the index into bs.	2017-03-16 15:24:08 -04:00
Rob Rix	aece49077a	Look up the shortest edit script in the appropriate state vector.	2017-03-16 13:35:08 -04:00
Rob Rix	f10a2cd32f	Allow the reverse path to add edits.	2017-03-16 13:34:56 -04:00
Rob Rix	cb5e501027	Use the semigroup append.	2017-03-16 11:25:14 -04:00
Rob Rix	215433e7a3	Abstract the bounds-checked addition of edits.	2017-03-16 11:14:33 -04:00
Rob Rix	3b384ff77f	Add in-bounds elements when constructing deletions/insertions.	2017-03-16 11:10:25 -04:00
Rob Rix	8f185d9310	Carry computed paths along.	2017-03-15 16:50:51 -04:00
Rob Rix	646f7c9822	Prepend or append matched elements when sliding.	2017-03-15 12:19:05 -04:00
Rob Rix	2c0089ed90	Constrain sliding to only produce copies.	2017-03-15 12:15:33 -04:00
Rob Rix	d25421d69b	Sliding (nominally) produces the script of copied elements.	2017-03-15 12:14:43 -04:00
Rob Rix	d2988e1daa	SetK takes an edit script.	2017-03-15 12:04:34 -04:00
Rob Rix	dc9381aa58	Extract a function to show an edit script.	2017-03-15 12:04:20 -04:00
Rob Rix	d0c472a803	Add a shows helper for quinary constructors.	2017-03-15 11:58:30 -04:00
Rob Rix	81762c9119	getK returns the edit script thus far.	2017-03-15 11:54:44 -04:00
Rob Rix	7c7e559b47	Add a type synonym for edit scripts.	2017-03-15 11:52:41 -04:00
Rob Rix	3834903ebc	MyersState holds per-diagonal edit scripts.	2017-03-15 11:49:45 -04:00
Rob Rix	9c8401037e	Revert "Rename the Myers SES/LCS to indicate their linear space performance." ... This reverts commit 77a1791a6831c788197a8c2e3993c51798754ed3.	2017-03-15 11:17:52 -04:00
Rob Rix	b42c7e3d05	Rename the Myers SES/LCS to indicate their linear space performance.	2017-03-15 10:33:27 -04:00
Rob Rix	41427333d4	Run SES using Myers’ algorithm.	2017-03-14 23:07:01 -04:00
Rob Rix	217b0821a7	Run Myers’ algorithm without constructing the intermediate steps.	2017-03-14 23:04:20 -04:00
Rob Rix	5399c9cfae	Consolidate more of the derived state.	2017-03-14 22:43:35 -04:00
Rob Rix	3cf5deb5f4	Use a list comprehension to tighten up SES.	2017-03-14 22:38:34 -04:00
Rob Rix	1c731b2e79	Consolidate the division & conquest of LCS/SES.	2017-03-14 22:36:15 -04:00
Rob Rix	de1c596d0f	Use an irrefutable pattern to eliminate the error call.	2017-03-14 22:27:41 -04:00
Rob Rix	a63ab09f0b	Extract showsTernaryWith/showsQuaternaryWith to the top level.	2017-03-14 22:24:32 -04:00
Rob Rix	dfad93cfc1	Use multiple type parameters to help enforce correctness.	2017-03-14 22:18:02 -04:00
Rob Rix	dceff54c31	EditGraph has two type parameters.	2017-03-14 22:02:21 -04:00
Rob Rix	51cd572b3b	Simplify the individual insertion/deletion code.	2017-03-14 21:53:06 -04:00
Rob Rix	f01cf5f84c	SES constructs individual insertions.	2017-03-14 21:49:30 -04:00
Rob Rix	c2f76be95f	Index the vector instead of slicing.	2017-03-14 21:48:37 -04:00
Rob Rix	0f76dd2898	SES constructs individual deletions.	2017-03-14 21:47:04 -04:00
Rob Rix	44c4312632	Don’t re-fetch the lengths.	2017-03-14 21:36:43 -04:00
Rob Rix	6bbbb962ea	Invert the reverse endpoint.	2017-03-14 21:23:14 -04:00
Rob Rix	0f897b791e	🔥 nth.	2017-03-14 16:24:04 -04:00
Rob Rix	aaf7f8ac35	🔥 an unused binding.	2017-03-14 16:14:30 -04:00
Rob Rix	2395c95ffd	Simplify how we select the nth element from the edit graph.	2017-03-14 15:58:58 -04:00
Rob Rix	70968be726	🔥 getOppositeEndpoint.	2017-03-14 15:55:08 -04:00
Rob Rix	ef3748d45f	🔥 done; we don’t need to invert the reverse endpoint apparently.	2017-03-14 15:53:30 -04:00
Rob Rix	456b617807	Correct the overlaps test.	2017-03-14 15:42:02 -04:00
Rob Rix	72a836cd8e	Simplify the feasibility test.	2017-03-14 15:40:02 -04:00