Struct pcp::search::propagation::Propagation

pub struct Propagation<C> { /* private fields */ }

Implementations

impl<C> Propagation<C>

pub fn new(child: C) -> Propagation<C>

Examples found in repository

src/libpcp/search/mod.rs (lines 48-49)

pub fn one_solution_engine() -> Box<dyn SearchTreeVisitor<FDSpace>> {
  let search =
    OneSolution::<_, VectorStack<_>, FDSpace>::new(
    Propagation::new(
    Brancher::new(FirstSmallestVar, MiddleVal, BinarySplit)));
  Box::new(search)
}

Trait Implementations

impl<VStore, CStore, R, C> SearchTreeVisitor<Space<VStore, CStore, R>> for Propagation<C>where
    VStore: VStoreConcept,
    CStore: IntCStore<VStore>,
    C: SearchTreeVisitor<Space<VStore, CStore, R>>,
    R: FreezeSpace<VStore, CStore> + Snapshot<State = Space<VStore, CStore, R>>,

fn start(&mut self, root: &Space<VStore, CStore, R>)

fn enter(
    &mut self,
    current: Space<VStore, CStore, R>
) -> (<Space<VStore, CStore, R> as Freeze>::FrozenState, Status<Space<VStore, CStore, R>>)