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

/tools/verification/rvgen/rvgen/
A D	ltl2ba.py	353 class NotOp(UnaryOp): class 386 return NotOp(new) 397 if isinstance(f, NotOp) and f.op.child is n: 488 op = NotOp(p[2])
A D	ltl2k.py	121 elif isinstance(node.op, ltl2ba.NotOp):

Completed in 5 milliseconds

Last Index update Fri Aug 22 10:33:58 CST 2025