Skip to main content

luaur_analysis/methods/
constraint_solver_deprecate_d_is_blocked.rs

1use crate::records::constraint::Constraint;
2use crate::records::constraint_solver::ConstraintSolver;
3
4impl ConstraintSolver {
5    pub fn deprecate_d_is_blocked(&self, constraint: *const Constraint) -> bool {
6        let blocked_it = self.deprecated_blocked_constraints.get(&constraint);
7        blocked_it.map_or(false, |blocked| *blocked > 0)
8    }
9}