Added anonot method to DRC, provide tests.

testdata/drc/drcSuiteTests.drc

@@ -31,16 +31,21 @@ def run_testsuite(dm, ic, tiled = false, hier = false)
   
   message "--- general #{lb}"
   
-  l1 = a&b
+  l1 = a & b
   l1.output(lb, dm)
   expect_eq(l1.is_empty?, false)
   
+  (an1, an2) = a.andnot(b)
+  an1.output(lb, dm + 1)
+  expect_eq(an1.is_empty?, false)
+  
   a.and(b).xor(l1).is_empty? || raise("xor not empty")
   tiled || hier || expect_eq(a.and(b).is_merged?, true)
   
   a.xor(b).output(RBA::LayerInfo::new(lb + 1, dm))
   a.xor(b).xor(a ^ b).is_empty? || raise("xor not empty")
   a.not(b).output(lb + 2, dm)
+  an2.output(lb + 2, dm + 1)
   a.not(b).xor(a - b).is_empty? || raise("xor not empty")
   a.or(b).output(lb + 3, dm)
   a.or(b).xor(a | b).is_empty? || raise("xor not empty")