Home
last modified time | relevance | path

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

/linux/tools/verification/rvgen/rvgen/
H A Dltl2ba.py281 class UnaryOp: class
305 class EventuallyOp(UnaryOp):
320 class AlwaysOp(UnaryOp):
333 class NextOp(UnaryOp):
353 class NotOp(UnaryOp):