LEAPSynthesisPass.check_leap_condition

LEAPSynthesisPass.check_leap_condition(new_layer, best_dist, best_layers, best_dists, last_prefix_layer)[source]

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.