pub fn add_solved(&mut self, index: Index, solved: Rc<domain::Value>) {
        match self.solutions.get_mut(index.0 as usize) {
            Some((_, solution @ Solution::Unsolved, _)) => *solution = Solution::Solved(solved),
            Some((_, Solution::Solved(_), _)) => unimplemented!("updating solved solution"),
            None => unimplemented!("no corresponding solution"),
        }
    }
/// Add a solution to the given metavariable index.
Add a solution to the given metavariable index.
Add a solution to the given metavariable index .
pub fn add_solved(&mut self, index: Index, solved: Rc<domain::Value>) {
        match self.solutions.get_mut(index.0 as usize) {
            Some((_, solution @ Solution::Unsolved, _)) => *solution = Solution::Solved(solved),
            Some((_, Solution::Solved(_), _)) => unimplemented!("updating solved solution"),
            None => unimplemented!("no corresponding solution"),
        }
    }
pub fn add_solved ( & mut self , index : Index , solved : Rc < domain :: Value > ) { match self . solutions . get_mut ( index . 0 as usize ) { Some ( ( _ , solution @ Solution :: Unsolved , _ ) ) => * solution = Solution :: Solved ( solved ) , Some ( ( _ , Solution :: Solved ( _ ) , _ ) ) => unimplemented ! ( " " ) , None => unimplemented ! ( " " ) , } }
Add a solution to the given metavariable index.
Add a solution to the given metavariable index .
&mut self
index
Index
solved
Rc<domain::Value>
&mut self
index
Index
solved
Rc<domain::Value>