def test_or_peek_and_constraint(self):
r = NFSM("AB|BC", 2, "ABC")
self.assert_no_references(r)
self.assertEqual(set("AB"), r.peek_slot(0))
self.assertEqual(set("BC"), r.peek_slot(1))
r.constrain_slot(0, set("AC"))
self.assertEqual(set("A"), r.peek_slot(0))
self.assertEqual(set("B"), r.peek_slot(1))
def test_simple_peek(self):
r = NFSM("[ABC][AB]", 2, "ABC")
self.assert_no_references(r)
self.assertEqual(set("ABC"), r.peek_slot(0))
self.assertEqual(set("AB"), r.peek_slot(1))
