fn constraint_holds(&self, constraint: &Constraint) -> bool {
        match constraint {
            Constraint::Passable(node) => self.passable.contains(node),
            Constraint::Haltable(node) => self.haltable.contains(node),
            Constraint::BreakableTo {
                breaks_from,
                breaks_to,
            } => self.breakable_to.contains(&(*breaks_from, *breaks_to)),
        }
    }
/// Test if a constraint currently holds, given what we already know.
Test if a constraint currently holds, given what we already know.
Test if a constraint currently holds given what we already know .
fn constraint_holds(&self, constraint: &Constraint) -> bool {
        match constraint {
            Constraint::Passable(node) => self.passable.contains(node),
            Constraint::Haltable(node) => self.haltable.contains(node),
            Constraint::BreakableTo {
                breaks_from,
                breaks_to,
            } => self.breakable_to.contains(&(*breaks_from, *breaks_to)),
        }
    }
fn constraint_holds ( & self , constraint : & Constraint ) -> bool { match constraint { Constraint :: Passable ( node ) => self . passable . contains ( node ) , Constraint :: Haltable ( node ) => self . haltable . contains ( node ) , Constraint :: BreakableTo { breaks_from , breaks_to , } => self . breakable_to . contains ( & ( * breaks_from , * breaks_to ) ) , } }
Test if a constraint currently holds, given what we already know.
Test if a constraint currently holds given what we already know .
&self
constraint
&Constraint