[−][src]Function varisat::clause::assess::select_tier
fn select_tier(glue: usize) -> Tier
Compute the tier for a redundant clause with a given glue level.
fn select_tier(glue: usize) -> Tier
Compute the tier for a redundant clause with a given glue level.