def test_const(): assert bool(EXPRZERO) is False assert bool(EXPRONE) is True assert int(EXPRZERO) == 0 assert int(EXPRONE) == 1 assert str(EXPRZERO) == '0' assert str(EXPRONE) == '1' assert not EXPRZERO.support assert not EXPRONE.support assert EXPRZERO.top is None assert EXPRONE.top is None assert EXPRZERO.restrict({a: 0, b: 1, c: 0, d: 1}) is EXPRZERO assert EXPRONE.restrict({a: 0, b: 1, c: 0, d: 1}) is EXPRONE assert EXPRZERO.compose({a: 0, b: 1, c: 0, d: 1}) is EXPRZERO assert EXPRONE.compose({a: 0, b: 1, c: 0, d: 1}) is EXPRONE assert EXPRZERO.simplify() is EXPRZERO assert EXPRONE.simplify() is EXPRONE assert EXPRZERO.factor() is EXPRZERO assert EXPRONE.factor() is EXPRONE assert EXPRZERO.depth == 0 assert EXPRONE.depth == 0
def test_const(): assert bool(EXPRZERO) is False assert bool(EXPRONE) is True assert int(EXPRZERO) == 0 assert int(EXPRONE) == 1 assert str(EXPRZERO) == '0' assert str(EXPRONE) == '1' assert not EXPRZERO.support assert not EXPRONE.support assert EXPRZERO.top is None assert EXPRONE.top is None assert EXPRZERO.restrict({a: 0, b: 1, c: 0, d: 1}) is EXPRZERO assert EXPRONE.restrict({a: 0, b: 1, c: 0, d: 1}) is EXPRONE assert EXPRZERO.compose({a: 0, b: 1, c: 0, d: 1}) is EXPRZERO assert EXPRONE.compose({a: 0, b: 1, c: 0, d: 1}) is EXPRONE assert EXPRZERO.simplify() is EXPRZERO assert EXPRONE.simplify() is EXPRONE assert EXPRZERO.to_nnf() is EXPRZERO assert EXPRONE.to_nnf() is EXPRONE assert EXPRZERO.depth == 0 assert EXPRONE.depth == 0