def test_triples():
assert len(triples(relationships([sequential('a', 'b'),
sequential('b', 'c')])).items()) == 1
assert len(triples(relationships([sequential('a', 'b'),
sequential('b', 'c'),
sequential('c', 'd')])).items()) == 2
def test_occurrence():
occ = occurrence(relationships([simultaneous('a', 'b')]))
print('occurrence: ', occ)
formula = and_(simultaneous('a', 'b'), not_(var('a')), *occ)
print('formula: ', formula)
s = formula.sat()[1]
if s:
print('solution: ', [k for k, v in s.items() if v])
assert not s
def test_timeline():
statements = [simultaneous('a', 'b'), sequential('b', 'a')]
t = timeline(relationships(statements))
print('timeline: ', t)
formula = and_(var('a'), var('b'), *(t + statements))
print('formula: ', formula)
s = formula.sat()[1]
if s:
print('solution: ', [k for k, v in s.items() if v])
assert not s
def trans(s):
return transitivity(triples(relationships(s)))
def test_relationships():
statements = [simultaneous('a', 'b'), sequential('a', 'b')]
rs = relationships(statements)
assert ('a', 'b') in rs and len(rs[('a', 'b')]) == 2