Searched refs:AndOp (Results 1 – 2 of 2) sorted by relevance
173 class AndOp(BinaryOp): class204 return AndOp(self.left.negate(), self.right.negate())279 return AndOp(self.left, self.right.negate())502 op = AndOp(p[1], p[3])
115 if isinstance(node.op, ltl2ba.AndOp):