def test_or(self): a = NFA.build_a('a') b = NFA.build_a('b') ab = NFA.build_or(a, b) self.assert_(ab.initial) self.assert_(ab.finals)
def Or(self, t): b = self.pop() a = self.pop() ab = NFA.build_or(a, b) self.push(ab)