main_testing4-old/knight_test4.scala
author Christian Urban <christian.urban@kcl.ac.uk>
Mon, 06 Nov 2023 21:26:57 +0000
changeset 475 a0d4c9a3f83a
parent 473 be818c5a67d4
permissions -rw-r--r--
updated jars
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
403
312c9eb39ad8 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 347
diff changeset
     1
import M4a._
220
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     2
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     3
val f_urban = (x:(Int, Int)) => if (x._1 > 3) Some(List(x)) else None
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     4
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     5
assert(first(List((1,0),(2,0),(3,0),(4,0)), f_urban) == Some(List((4,0))))
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     6
assert(first(List((1,0),(2,0),(3,0)), f_urban) == None)