void () { assertTrue(empty().isCardinalityBigger(-1)); assertTrue(empty().isCardinalityBigger(Long.MIN_VALUE)); assertFalse(empty().isCardinalityBigger(0)); assertFalse(empty().isCardinalityBigger(Long.MAX_VALUE)); assertTrue(point(0).isCardinalityBigger(-1)); assertTrue(empty().isCardinalityBigger(Long.MIN_VALUE)); assertTrue(point(0).isCardinalityBigger(0)); assertFalse(empty().isCardinalityBigger(1)); assertFalse(empty().isCardinalityBigger(Long.MAX_VALUE)); assertFalse(range(0,100).isCardinalityBigger(101)); assertTrue(range(0,100).isCardinalityBigger(100)); assertTrue(range(0,100).isCardinalityBigger(99)); assertTrue(all().isCardinalityBigger(Long.MIN_VALUE)); assertTrue(all().isCardinalityBigger(0)); assertTrue(all().isCardinalityBigger(1)); assertTrue(all().isCardinalityBigger(Long.MAX_VALUE)); assertTrue(range(0, Long.MAX_VALUE).isCardinalityBigger(Long.MAX_VALUE)); assertFalse(range(1, Long.MAX_VALUE).isCardinalityBigger(Long.MAX_VALUE)); assertTrue(range(1, Long.MAX_VALUE).join(point(-10)).isCardinalityBigger(Long.MAX_VALUE)); assertTrue(modRange(0, 10, 2, 0b01).isCardinalityBigger(5)); assertFalse(modRange(0, 10, 2, 0b01).isCardinalityBigger(6)); assertTrue(modRange(-3, 10, 4, 0b0011).isCardinalityBigger(6)); assertFalse(modRange(-3, 10, 4, 0b0011).isCardinalityBigger(7)); }