add some comments

main
magical 2022-12-04 22:10:16 -08:00
parent d6333ce7e8
commit 2b3187a416
1 changed files with 4 additions and 4 deletions

View File

@ -8,10 +8,10 @@ op r contains s = (r[1] <= s[1]) and (s[2] <= r[2])
op contains x = (x[1 2] contains x[3 4]) or (x[3 4] contains x[1 2]) op contains x = (x[1 2] contains x[3 4]) or (x[3 4] contains x[1 2])
op overlaps x = (x[1 2] overlaps x[3 4]) op overlaps x = (x[1 2] overlaps x[3 4])
#1 3 overlaps 4 5 #1 3 overlaps 4 5 # -> 0
#1 5 overlaps 2 7 #1 5 overlaps 2 7 # -> 1
#contains 1 2 3 4 #contains 1 2 3 4 # -> 0
#contains 5 10 7 8 #contains 5 10 7 8 # -> 1
+/ contains transp sample +/ contains transp sample
+/ contains transp input +/ contains transp input