Home
last modified time | relevance | path

Searched refs:OrOp (Results 1 – 2 of 2) sorted by relevance

/tools/verification/rvgen/rvgen/
A Dltl2ba.py180 return OrOp(self.left.negate(), self.right.negate())
197 class OrOp(BinaryOp): class
272 return OrOp(self.left.negate(), self.right)
506 op = OrOp(p[1], p[3])
A Dltl2k.py118 elif isinstance(node.op, ltl2ba.OrOp):

Completed in 4 milliseconds