Skip to main content

max_cycle_ratio

logicaffeine_proof::cycle_ratio

Function max_cycle_ratio 

Source 
pub fn max_cycle_ratio(
    nodes: usize,
    edges: &[Edge],
) -> Result<Bound, GraphError>
Expand description

The bound on the period the graph’s cycles put.