Python dominates Examples

Example #1

File: bohm_test.py Project: fritzo/pomagma

def test_dominates_irreflexive(term):
    assert not bohm.dominates(term, term)

Example #2

File: bohm_test.py Project: fritzo/pomagma

def test_dominates_transitive(x, y, z):
    for x, y, z in itertools.permutations([x, y, z]):
        if bohm.dominates(x, y) and bohm.dominates(y, z):
            assert bohm.dominates(x, z)

Example #3

def test_dominates_irreflexive(code):
    assert not dominates(code, code)