[−][src]Function varisat::clause::activity::rescale_clause_activities
fn rescale_clause_activities(
ctx: Mut<ClauseDbP, Mut<ClauseAllocP, Mut<ClauseActivityP, Ref<Context>>>>
)
Rescale all values to avoid an overflow.