tests/testthat/test-zdd_difference.R

In jordagaman/zddr: A zero-suppressed binary decision diagram implementation for R

test_that("subtraction works", {
  library(magrittr)
  zdd345 <- zdd_and(3,4,5)
  zdd35  <- zdd_and(3,  5)
  zdd45  <- zdd_and(  4,5)
  zdd34  <- zdd_and(3,4  )

  expect_equal( (zdd35 | zdd45 | zdd34) - zdd35 , zdd45 | zdd34 )
  expect_equal( (zdd35 | zdd45 | zdd34) - zdd45 , zdd35 | zdd34 )
  expect_equal( (zdd35 | zdd45 | zdd34) - zdd34 , zdd45 | zdd35 )
  expect_true( is_zero( zdd34 - (zdd34 | zdd45) )        )
  expect_equal(   zdd345 - zdd35                , zdd345        )
  expect_true( is_zero( (zdd345 | zdd35) - zdd35)        )
})