tests/testthat/test-zdd_crossproduct.R

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

test_that("zdd_crossproduct works", {
  library(magrittr)
  zdd1 <- zdd_or(1,2,3,4,5)
  zdd2 <- zdd_or(  6,7,8,9)
  zdd3 <- zdd_or(5,6,7,8,9)

  expect_equal(  attr(zdd1*zdd2, 'count')  , 20L)
  expect_equal(
    cutsets( (zdd(1L)|zdd(2L)) * (zdd(3L)|zdd(4L)) ),
    list(c(1,3),
         c(2,3),
         c(1,4),
         c(2,4))
  )
  expect_equal( zdd_and(1,2,3,4) * zdd_and(1,3) , zdd_and(1,2,3,4) )
  expect_equal( zdd(3) * zdd(2) * zdd(1)        , zdd_and(1,3,2)   )
  expect_true( is_zero( zdd_and(1,2,FALSE) )           )
  expect_equal( zdd_and(1,2,TRUE )              , zdd_and(1,2)     )
  expect_equal(c(zdd1,zdd2) %>% as_zdd %>% cutsets %>% length, 20L )
})