Skip to main content

luaur_analysis/methods/
constraint_list_contains.rs

1use crate::records::constraint_list::ConstraintList;
2use crate::type_aliases::constraint_vertex::ConstraintVertex;
3
4impl ConstraintList {
5    pub fn contains(&self, vertex: ConstraintVertex) -> bool {
6        match self.present.find(&vertex) {
7            Some(entry) => *entry,
8            None => false,
9        }
10    }
11}