Searched refs:rep_g0 (Results 1 – 3 of 3) sorted by relevance
/dports/archivers/zip-ada/zip-ada/zip_lib/ |
H A D | lzma-encoding.adb | 454 Simulate_bit(probs.switch.rep_g0(sim_state), The_distance_is_rep0_choice) * 540 res:= res * Simulate_bit(probs.switch.rep_g0(state), The_distance_is_rep0_choice) 543 res:= res * Simulate_bit(probs.switch.rep_g0(state), The_distance_is_not_rep0_choice) 546 res:= res * Simulate_bit(probs.switch.rep_g0(state), The_distance_is_not_rep0_choice) 550 res:= res * Simulate_bit(probs.switch.rep_g0(state), The_distance_is_not_rep0_choice) 786 Encode_Bit(probs.switch.rep_g0(state), The_distance_is_rep0_choice); 927 Encode_Bit(probs.switch.rep_g0(state), The_distance_is_rep0_choice); 930 Encode_Bit(probs.switch.rep_g0(state), The_distance_is_not_rep0_choice); 933 Encode_Bit(probs.switch.rep_g0(state), The_distance_is_not_rep0_choice); 937 Encode_Bit(probs.switch.rep_g0(state), The_distance_is_not_rep0_choice);
|
H A D | lzma.ads | 142 rep_g0 : Probs_state:= (others => Initial_probability); component
|
H A D | lzma-decoding.adb | 480 Decode_Bit(probs.switch.rep_g0(state), bit_b);
|