def test_count_placeholders(self):
query1 = "? | 'a'"
query2 = "? -> AG ('a' & ?)"
query3 = "A [? U AG (? -> 'a' & AX ?)]"
self.assertEqual(count(parse_ctlq(query1)), 1)
self.assertEqual(count(parse_ctlq(query2)), 2)
self.assertEqual(count(parse_ctlq(query3)), 3)
def test_count_placeholders(self):
query1 = "? | 'a'"
query2 = "? -> AG ('a' & ?)"
query3 = "A [? U AG (? -> 'a' & AX ?)]"
self.assertEqual(count(parse_ctlq(query1)), 1)
self.assertEqual(count(parse_ctlq(query2)), 2)
self.assertEqual(count(parse_ctlq(query3)), 3)
def test_replace_placeholder(self):
query1 = "? | 'a'"
query2 = "True -> AG ('a' & ?)"
query3 = "A [? U AG ('b' -> False & AX ?)]"
self.assertEqual(count(replace(parse_ctlq(query1), TrueExp())), 0)
self.assertEqual(count(replace(parse_ctlq(query2), TrueExp())), 0)
self.assertEqual(count(replace(parse_ctlq(query3), TrueExp())), 0)
def test_replace_placeholder(self):
query1 = "? | 'a'"
query2 = "True -> AG ('a' & ?)"
query3 = "A [? U AG ('b' -> False & AX ?)]"
self.assertEqual(count(replace(parse_ctlq(query1), TrueExp())), 0)
self.assertEqual(count(replace(parse_ctlq(query2), TrueExp())), 0)
self.assertEqual(count(replace(parse_ctlq(query3), TrueExp())), 0)
