1
1
mirror of https://github.com/github/semantic.git synced 2024-12-23 06:41:45 +03:00
Commit Graph

10694 Commits

Author SHA1 Message Date
Rob Rix
93116b7f26 Extract a common handler for the edit distance by direction. 2017-03-13 15:24:00 -04:00
Rob Rix
241c5e2c4a Bind and pass the direction. 2017-03-13 15:21:17 -04:00
Rob Rix
08cf871da9 Extract a common constructor for the diagonal interval. 2017-03-13 15:16:43 -04:00
Rob Rix
7e02b60c3b Extract a common handler for producing a result from a search. 2017-03-13 15:13:31 -04:00
Rob Rix
2d7bdeff56 Produce a better error when MiddleSnake fails to find a value. 2017-03-13 14:59:02 -04:00
Rob Rix
cd051d8508 Reformat the decomposition of SearchUpToD. 2017-03-13 14:57:27 -04:00
Rob Rix
c27b271acf Extract an operation searching along a given diagonal. 2017-03-13 14:56:59 -04:00
Rob Rix
72cb2192c9 Extract an operation searching up to a given edit distance. 2017-03-13 14:52:47 -04:00
Rob Rix
96136c3647 Reorder the smart constructors. 2017-03-13 14:48:46 -04:00
Rob Rix
05f187d288 Swap the edit distance and direction parameters. 2017-03-13 13:21:39 -04:00
Rob Rix
84360367f7 Allocate the correct size for the state vectors. 2017-03-13 12:15:01 -04:00
Rob Rix
c2a3649cff Compute accurately-sized empty state for diff steps. 2017-03-13 12:11:31 -04:00
Rob Rix
e7eb4aab0f Returns don’t need state at all. 2017-03-13 12:05:04 -04:00
Rob Rix
1972dd7753 Define a Show instance for StepF a b. 2017-03-13 12:02:20 -04:00
Rob Rix
62170ff44b Define a Show1 instance for StepF. 2017-03-13 12:01:41 -04:00
Rob Rix
853c275b51 Define a Show2 instance for StepF. 2017-03-13 12:01:10 -04:00
Rob Rix
1f56cd5b9d Simplify the Show instance for State s a. 2017-03-13 12:01:03 -04:00
Rob Rix
92bb79a7a6 Define a Show instance for MyersF a b. 2017-03-13 11:58:28 -04:00
Rob Rix
6b5c9df8e6 Define a Show1 instance for MyersF a. 2017-03-13 11:57:12 -04:00
Rob Rix
e6f89c9266 Define a Show2 instance for MyersF. 2017-03-13 11:56:29 -04:00
Rob Rix
48e5119679 Define a Show1 instance for EditGraph. 2017-03-13 11:53:06 -04:00
Rob Rix
d4b0633117 Define a helper to show a vector’s contents parametrically. 2017-03-13 11:52:59 -04:00
Rob Rix
39e1cb06c4 Derive Eq & Show instances for EditGraph & Snake. 2017-03-13 11:47:38 -04:00
Rob Rix
a24c35e5ce Define a Show instance of State s a. 2017-03-13 11:41:37 -04:00
Rob Rix
cd0466dcec Define a Show1 instance of State. 2017-03-13 11:39:40 -04:00
Rob Rix
2e843a1a16 Define a Show2 instance of State. 2017-03-13 11:38:01 -04:00
Rob Rix
a59f657b08 Derive Eq & Show instances of MyersState. 2017-03-13 11:35:37 -04:00
Rob Rix
95a800660e runMyersSteps constructs the initial state itself. 2017-03-13 11:35:11 -04:00
Rob Rix
8998884e51 Select the empty state specific to a given step. 2017-03-13 11:34:50 -04:00
Rob Rix
beefe1ac20 Extract the definition of the empty state. 2017-03-13 11:33:46 -04:00
Rob Rix
315927763f Move editGraph to the implementation details section. 2017-03-13 11:32:54 -04:00
Rob Rix
6aab59ba18 Add a function to run all the steps in a myers algorithm. 2017-03-13 11:28:23 -04:00
Rob Rix
c9354e38ff Clamp graph division to the size of the inputs. 2017-03-13 11:23:10 -04:00
Rob Rix
14f96d8bf0 Invert reverse d-paths as appropriate. 2017-03-13 11:22:43 -04:00
Rob Rix
f1ad91a346 Compute reverse d-paths in the same manner as forward ones. 2017-03-10 16:15:50 -05:00
Rob Rix
781a525f87 🔥 the custom definition of at. 2017-03-10 15:23:43 -05:00
Rob Rix
b81db68867 Don’t use the delta at all. 2017-03-10 14:18:47 -05:00
Rob Rix
438dc91672 Try to implement SES recursively. 2017-03-10 14:14:04 -05:00
Rob Rix
e74119d3de 🔥 the bogus shortcuts. 2017-03-10 14:01:51 -05:00
Rob Rix
eaf898dc4a Test for inclusion in the interval given the delta. 2017-03-10 13:58:35 -05:00
Rob Rix
d419e9aa9a Offset given the delta. 2017-03-10 13:57:41 -05:00
Rob Rix
7231c64bdd Set the backwards vector with the delta. 2017-03-10 13:53:16 -05:00
Rob Rix
c4a7f35d46 Sliding can operate at the zeroth index. 2017-03-10 13:52:56 -05:00
Rob Rix
28b5a99333 Try to implement reverse d-path endpoint finding. 2017-03-10 13:52:40 -05:00
Rob Rix
e2b4b65423 Derive Eq & Show instances for some of the types. 2017-03-10 13:51:46 -05:00
Rob Rix
8aea2f6d0f Sliding can go in either direction. 2017-03-10 13:45:36 -05:00
Rob Rix
f5ddc911d7 Bind a bunch of the relevant values & functions for all constructors. 2017-03-10 13:43:03 -05:00
Rob Rix
960cb3537c Stub out setup for reverse d-path finding. 2017-03-10 13:38:29 -05:00
Rob Rix
d176490171 Ill-advised symmetry. 2017-03-10 13:36:23 -05:00
Rob Rix
a1ceb3dca4 Don’t access out of bounds elements. 2017-03-10 13:33:47 -05:00