def test_examples(self):
p = HRParser()
for (f, _, _, _) in get_example_formulae():
s = f.serialize()
res = p.parse(s)
check = (res == f)
if not check:
try:
self.assertValid(Iff(res, f))
except NoSolverAvailableError:
pass
def test_examples(self):
p = HRParser()
for (f, _, _, _) in get_example_formulae():
s = f.serialize()
res = p.parse(s)
check = (res == f)
if not check:
try:
self.assertValid(Iff(res, f))
except NoSolverAvailableError:
pass
def test_precedences(self):
p = HRParser()
a,b,c = (Symbol(v) for v in "abc")
x,y = (Symbol(v, REAL) for v in "xy")
tests = []
tests.append(("a | b & c", Or(a, And(b,c))))
tests.append(("a & b | c", Or(And(a, b) ,c)))
f1 = LE(Plus(Plus(x, y), Real(5)), Real(7))
f2 = LE(Plus(x, Real(5)), Minus(Real(7), y))
tests.append(("x + y + 5.0 <= 7.0", f1))
tests.append(("x + 5.0 <= 7.0 - y", f2))
tests.append(("x + y + 5.0 <= 7.0 & x + 5.0 <= 7.0 - y", And(f1, f2)))
tests.append(("x + 5.0 <= 7.0 - y | x + y + 5.0 <= 7.0 & x + 5.0 <= 7.0 - y",
Or(f2, And(f1, f2))))
for string, formula in tests:
self.assertEqual(p.parse(string), formula)
self.assertEqual(parse(string), formula)
def test_precedences(self):
p = HRParser()
a, b, c = (Symbol(v) for v in "abc")
x, y = (Symbol(v, REAL) for v in "xy")
tests = []
tests.append(("a | b & c", Or(a, And(b, c))))
tests.append(("a & b | c", Or(And(a, b), c)))
f1 = LE(Plus(Plus(x, y), Real(5)), Real(7))
f2 = LE(Plus(x, Real(5)), Minus(Real(7), y))
tests.append(("x + y + 5.0 <= 7.0", f1))
tests.append(("x + 5.0 <= 7.0 - y", f2))
tests.append(("x + y + 5.0 <= 7.0 & x + 5.0 <= 7.0 - y", And(f1, f2)))
tests.append(
("x + 5.0 <= 7.0 - y | x + y + 5.0 <= 7.0 & x + 5.0 <= 7.0 - y",
Or(f2, And(f1, f2))))
for string, formula in tests:
self.assertEqual(p.parse(string), formula)
self.assertEqual(parse(string), formula)
