Function varisat::clause::db::clauses_iter

pub fn clauses_iter<'a>(
    ctx: &'a Const<ClauseDbP, Const<ClauseAllocP, Ref<'a, Context>>>
) -> impl Iterator<Item = ClauseRef> + 'a

Iterator over all long clauses.

This filters deleted (but uncollected) clauses on the fly.