65         def __init__(self, lhs, rhs):  argument
66             self.lhs = lhs
69             return "(%s && %s)" % (self.lhs, self.rhs)
72             self.lhs.add_edges_to(var)
75             return self.lhs.evaluate() and self.rhs.evaluate()
78         def __init__(self, lhs, rhs):  argument
79             self.lhs = lhs
82             return "(%s || %s)" % (self.lhs, self.rhs)
85             self.lhs.add_edges_to(var)
88             return self.lhs.evaluate() or self.rhs.evaluate()
91         def __init__(self, lhs):  argument
92             self.lhs = lhs
94             return "!%s" % (self.lhs)
97             self.lhs.add_edges_to(var)
99             return not self.lhs.evaluate()
478         lhs = self.parse_primary()
481             lhs = lhs | self.parse_primary()
482         return lhs
486         lhs = self.parse_disj()
489             lhs = lhs & self.parse_disj()
490         return lhs