Lines Matching full:lhs
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