Create QuotientLogBoundsVisitor.

[alonh5]

This change is 

[alonh5]

Current dependencies on/for this PR:

• Get opening positios as mapping. #409
• Create QuotientLogBoundsVisitor. #407 👈
• Create ConstraintPointEvaluator. #403
• Create MaskPointsEvaluator. #385
• Create MaskEvaluator. #375
• Move max_constraint_log_degree_bound to AirExt trait. #373
• dev

This stack of pull requests is managed by Graphite.

[spapinistarkware]

Reviewed 2 of 4 files at r1, all commit messages.
Reviewable status: 2 of 4 files reviewed, 1 unresolved discussion (waiting on @alonh5)

---

src/core/air/mod.rs line 96 at r2 (raw file):

        self.visit_components(&mut bounds_visitor);
        let mut bounds = bounds_visitor.finalize();
        bounds.push(self.max_constraint_log_degree_bound());

Add a comment that this is for the composition

[alonh5]

Reviewable status: 2 of 4 files reviewed, 1 unresolved discussion (waiting on @spapinistarkware)

---

src/core/air/mod.rs line 96 at r2 (raw file):

Previously, spapinistarkware (Shahar Papini) wrote…

Add a comment that this is for the composition

Done.

[spapinistarkware]

Reviewed 1 of 2 files at r2, 2 of 2 files at r3, all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @alonh5)