Lines Matching refs:NewState

18   let NewState{1...0} = State;
41   let NewState{1...0} = State;
62   let NewState{1...0} = State;
130 class Bin0 : BinTransition { let NewState{0} = 1; }
131 class Bin1 : BinTransition { let NewState{1} = 1; }
132 class Bin2 : BinTransition { let NewState{2} = 1;}
133 class Bin3 : BinTransition { let NewState{3} = 1; }
134 class Bin4 : BinTransition { let NewState{4} = 1;}
135 class Bin5 : BinTransition { let NewState{5} = 1; }
137 class Bin01 : BinTransition { let NewState{0,1} = 0b11; }
138 class Bin23 : BinTransition { let NewState{2,3} = 0b11; }
139 class Bin45 : BinTransition { let NewState{4,5} = 0b11; }