Home
last modified time | relevance | path

Searched refs:rep_g0 (Results 1 – 3 of 3) sorted by relevance

/dports/archivers/zip-ada/zip-ada/zip_lib/
H A Dlzma-encoding.adb454 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 Dlzma.ads142 rep_g0 : Probs_state:= (others => Initial_probability); component
H A Dlzma-decoding.adb480 Decode_Bit(probs.switch.rep_g0(state), bit_b);