Skip to main content

luaur_analysis/methods/
constraint_solver_is_done.rs

1use crate::records::constraint_solver::ConstraintSolver;
2
3impl ConstraintSolver {
4    pub fn is_done(&self) -> bool {
5        self.unsolved_constraints.is_empty()
6    }
7}