def __init__(self):
NATSET = BSet.interval(BInteger(0), BInteger(5))
self.T2v = BInteger(0)
self.T3_evaluated = BBoolean(True)
self.T3_enabled = BBoolean(True)
self.T1_state = T1state.T1_EN
self.T2_state = T2state.T2_EN
self.T3_state = T3state.T3_READY
self.T1_writevalue = BInteger(0)
self.T2_writevalue = BInteger(0)
self.T2_readvalue = BInteger(0)
self.T2_readpriority = BInteger(0)
self.T3_readvalue = BInteger(0)
self.T3_readpriority = BInteger(0)
self.T1_timer = BInteger(2)
self.T2_timer = BInteger(3)
self.BUSwrite = BRelation(BTuple(BInteger(0), BInteger(0)))
self.BUSvalue = BInteger(0)
self.BUSpriority = BInteger(0)
self.T2_mode = T2mode.T2MODE_SENSE
def __init__(self):
self.numbers = BSet.interval(BInteger(2), BInteger(2000000))
self.cur = BInteger(2)
self.limit = BInteger(2000000)