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)