Enum pcp::search::search_tree_visitor::Status
source · pub enum Status<Space>where
Space: Freeze,{
Satisfiable,
Unsatisfiable,
Unknown(Vec<Branch<Space>>),
EndOfSearch,
}
Variants§
Implementations§
source§impl<Space> Status<Space>where
Space: Freeze,
impl<Space> Status<Space>where
Space: Freeze,
sourcepub fn pruned() -> Status<Space>
pub fn pruned() -> Status<Space>
Examples found in repository?
src/libpcp/search/engine/one_solution.rs (line 59)
55 56 57 58 59 60 61 62 63 64 65 66
fn enter_child(&mut self, current: Space, status: &mut Status<Space>) -> Space::FrozenState
{
let (immutable_state, child_status) = self.child.enter(current);
match child_status {
Unknown(ref branches) if branches.is_empty() => *status = Status::pruned(),
Unknown(branches) => self.push_branches(branches),
Satisfiable => *status = Satisfiable,
EndOfSearch => *status = EndOfSearch,
_ => ()
}
immutable_state
}