Searched refs:Literal_choice (Results 1 – 3 of 3) sorted by relevance
233 Literal_choice : constant:= 0; variable
402 … prob_lit: MProb:= Simulate_bit(probs.switch.match(sim_state, sim_pos_state), Literal_choice);790 Encode_Bit(probs.switch.match(state, pos_state), Literal_choice);
555 if bit_choice = Literal_choice then