tweaking...

Signed-off-by: Alex A. Naanou <alex.nanou@gmail.com>
This commit is contained in:
Alex A. Naanou 2018-09-07 11:41:23 +03:00
parent a70605f742
commit 6869296129

View File

@ -36,7 +36,7 @@ var MIN_TEXT_LENGTH = 100
// open candidates:
// ig-diff
// cdiff
// pattern diff
// pattern-diff
// we need the name to be short and descriptive, possible
// candidates:
// - objdiff / object-diff
@ -787,7 +787,7 @@ object.makeConstructor('ORDERED', Object.assign(Object.create(LogicType.prototyp
// XXX ADJACENT(A, B, ..) == L iff A directly before B, B directly before C, ...
var ADJACENT =
module.ADJACENT =
object.makeConstructor('ADJACENT', Object.assign(Object.create(LogicType.prototype), {
Dbject.makeConstructor('ADJACENT', Object.assign(Object.create(LogicType.prototype), {
__cmp__: function(obj, cmp){
// XXX
},
@ -796,7 +796,6 @@ object.makeConstructor('ADJACENT', Object.assign(Object.create(LogicType.prototy
},
}))
// - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
// XXX OF(A, N) == L iff L contains N occurrences of A
// XXX this is a potential problem as it would require us to look ahead