fn insert_fact(&mut self, constraint: Constraint) {
        match constraint {
            Constraint::Passable(node) => self.passable.insert(node),
            Constraint::Haltable(node) => self.haltable.insert(node),
            Constraint::BreakableTo {
                breaks_from,
                breaks_to,
                ..
            } => self.breakable_to.insert((breaks_from, breaks_to)),
        };
    }
/// Insert a fact into the solver's set of proven knowledge. This should only be called when
/// this fact has been shown to be true!
Insert a fact into the solver's set of proven knowledge. This should only be called when
this fact has been shown to be true!
Insert a fact into the solver ' s set of proven knowledge . This should only be called when this fact has been shown to be true!
fn insert_fact(&mut self, constraint: Constraint) {
        match constraint {
            Constraint::Passable(node) => self.passable.insert(node),
            Constraint::Haltable(node) => self.haltable.insert(node),
            Constraint::BreakableTo {
                breaks_from,
                breaks_to,
                ..
            } => self.breakable_to.insert((breaks_from, breaks_to)),
        };
    }
fn insert_fact ( & mut self , constraint : Constraint ) { match constraint { Constraint :: Passable ( node ) => self . passable . insert ( node ) , Constraint :: Haltable ( node ) => self . haltable . insert ( node ) , Constraint :: BreakableTo { breaks_from , breaks_to , .. } => self . breakable_to . insert ( ( breaks_from , breaks_to ) ) , } ; }
Insert a fact into the solver's set of proven knowledge.
Insert a fact into the solver ' s set of proven knowledge .
&mut self
constraint
Constraint