def _walkCond_DFOperator_unary(cond, termname, termwidth=32): node = walkCond(cond.nextnodes[0], termname, termwidth) if signaltype.isNot(cond.operator): node = notStateNodeList(node) return node
def _walkActiveCond_DFOperator_unary(self, cond): activecond = self.walkActiveCond(cond.nextnodes[0]) if signaltype.isNot(cond.operator): return self._activecond_opNot(activecond) return None