use crate::records::constraint_graph::ConstraintGraph;
use crate::type_aliases::constraint_vertex::ConstraintVertex;

impl ConstraintGraph {
    pub fn has_strictly_more_than_one_dependency(&mut self, vertex: ConstraintVertex) -> bool {
        let deps = self.find_dependency_list(vertex);
        unsafe { (*deps.as_ptr()).size() > 1 }
    }
}
