Searched refs:The_length_is_1_choice (Results 1 – 3 of 3) sorted by relevance
244 The_length_is_1_choice : constant:= 0; variable
455 Simulate_bit(probs.switch.rep0_long(sim_state, sim_pos_state), The_length_is_1_choice);787 Encode_Bit(probs.switch.rep0_long(state, pos_state), The_length_is_1_choice);
483 if bit_c = The_length_is_1_choice then