Skip to main content

luaur_analysis/methods/
constraint_solver_throw_time_limit_error.rs

1use crate::records::constraint_solver::ConstraintSolver;
2use crate::records::time_limit_error::TimeLimitError;
3
4impl ConstraintSolver {
5    pub fn constraint_solver_throw_time_limit_error(&self) {
6        panic!("{}", TimeLimitError::time_limit_error_time_limit_error(""));
7    }
8}