[−][src]Function tendermint_light_client::components::scheduler::basic_bisecting_schedule

pub fn basic_bisecting_schedule(
    light_store: &dyn LightStore, 
    current_height: Height, 
    target_height: Height
) -> Height

Basic bisecting scheduler which picks the appropriate midpoint without optimizing for performance using the blocks available in the light store.

Precondition

  • The light store contains at least one verified block. [LCV-SCHEDULE-PRE.1]

Postcondition

  • The resulting height must be valid according to valid_schedule. [LCV-SCHEDULE-POST.1]

Contracts

Pre-condition: light_store . latest_trusted_or_verified() . is_some()

Post-condition: valid_schedule(ret, target_height, current_height, light_store)