Verify method access specifiers - no changes required

[Copilot]

Summary

Analyzed codebase to identify methods that should be private but are currently public. No violations found - all methods are correctly scoped.

Analysis Scope

Examined 100+ header files across:

• src/smt/ - Theory implementations, context, conflict resolution
• src/util/ - Core data structures (vector, heap, rational, hashtable)
• src/ast/ - AST nodes, simplifiers, rewriters
• src/sat/ - SAT solver components
• src/opt/ - Optimization algorithms

Findings

Helper methods are already private/protected:

• heap.h: move_up(), move_down(), check_invariant_core()
• vector.h: expand_vector(), copy_core(), destroy_elements()
• smt_context.h: ts_visit_child(), ts_visit_children(), top_sort_expr()

Public methods have external callers:

• smt_setup::already_configured() → called from smt_context.cpp
• maxsmt::reset_upper() → called from opt_context.cpp
• euf_enode private methods → accessed via friend class egraph

Verification method: Cross-referenced method declarations with call sites using grep across all .cpp files.

Result

Codebase already complies with encapsulation best practices. No changes required.

---

✨ Let Copilot coding agent set things up for you — coding agent works faster and does higher quality work when set up for your repo.