LEAPSynthesisPass.check_leap_condition

LEAPSynthesisPass.check_leap_condition(new_layer, best_dist, best_layers, best_dists, last_prefix_layer)

Return true if the leap condition is satisfied.

Parameters:

• new_layer (int) – The current layer in search.

• best_dist (float) – The current best distance in search.

• best_layers (list[int]) – The list of layers associated with recorded best distances.

• best_dists (list[float]) – The list of recorded best distances.

• last_prefix_layer (int) – The last layer a prefix was formed.