Struct Space 

pub struct Space<VStore, CStore, Restoration> {
    pub vstore: VStore,
    pub cstore: CStore,
    /* private fields */
}

Fields

vstore: VStore

cstore: CStore

Implementations

impl<VStore, CStore, Restoration> Space<VStore, CStore, Restoration>

pub fn new(vstore: VStore, cstore: CStore) -> Self

impl<VStore, CStore, Restoration> Space<VStore, CStore, Restoration>

where CStore: Consistency<VStore>,

pub fn consistency(&mut self) -> SKleene

Trait Implementations

impl<VStore, CStore, R, Domain, Bound> Distributor<Space<VStore, CStore, R>, Bound> for BinarySplit

where VStore: VStoreConcept<Item = Domain, Location = Identity<Domain>, Output = Domain> + 'static, CStore: IntCStore<VStore>, Domain: IntDomain<Item = Bound> + 'static, Bound: IntBound + Copy + 'static, R: FreezeSpace<VStore, CStore> + Snapshot<State = Space<VStore, CStore, R>>,

fn distribute( &mut self, space: Space<VStore, CStore, R>, var_idx: usize, val: Bound, ) -> (<Space<VStore, CStore, R> as Freeze>::FrozenState, Vec<Branch<Space<VStore, CStore, R>>>)

impl<VStore, CStore, R, Domain, Bound> Distributor<Space<VStore, CStore, R>, Bound> for Enumerate

where VStore: VStoreConcept<Item = Domain, Location = Identity<Domain>, Output = Domain> + 'static, CStore: IntCStore<VStore>, Domain: IntDomain<Item = Bound> + 'static, Bound: IntBound + Copy + 'static, R: FreezeSpace<VStore, CStore> + Snapshot<State = Space<VStore, CStore, R>>,

fn distribute( &mut self, space: Space<VStore, CStore, R>, var_idx: usize, val: Bound, ) -> (<Space<VStore, CStore, R> as Freeze>::FrozenState, Vec<Branch<Space<VStore, CStore, R>>>)

impl<VStore, CStore, Restoration> Empty for Space<VStore, CStore, Restoration>

where VStore: Empty, CStore: Empty,

fn empty() -> Self

impl<VStore, CStore, Restoration> Freeze for Space<VStore, CStore, Restoration>

where VStore: Freeze, CStore: Freeze, Restoration: FreezeSpace<VStore, CStore> + Snapshot<State = Space<VStore, CStore, Restoration>>,

type FrozenState = Restoration

fn freeze(self) -> Self::FrozenState

impl<C, Bound, Dom, VStore, CStore, R> SearchTreeVisitor<Space<VStore, CStore, R>> for BranchAndBound<VStore, C>

where VStore: VStoreConcept<Item = Dom> + 'static, CStore: IntCStore<VStore>, Dom: IntDomain<Item = Bound> + 'static, Bound: IntBound + 'static, 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>>)

impl<Var, Val, D, VStore, CStore, R, Domain, Bound> SearchTreeVisitor<Space<VStore, CStore, R>> for Brancher<Var, Val, D>

where VStore: VStoreConcept<Item = Domain, Location = Identity<Domain>, Output = Domain>, CStore: IntCStore<VStore>, R: FreezeSpace<VStore, CStore> + Snapshot<State = Space<VStore, CStore, R>>, Var: VarSelection<Space<VStore, CStore, R>>, Val: ValSelection<Domain>, Domain: IntDomain<Item = Bound>, Bound: IntBound, D: Distributor<Space<VStore, CStore, R>, Bound>,

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

fn start(&mut self, _space: &Space)

impl<VStore, CStore, Domain, R, C> SearchTreeVisitor<Space<VStore, CStore, R>> for Debugger<C>

where VStore: VStoreConcept<Item = Domain> + Clone, CStore: IntCStore<VStore> + DisplayStateful<(Model, VStore)>, C: SearchTreeVisitor<Space<VStore, CStore, R>>, Domain: IsSingleton, 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>>)

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>>)

impl<VStore, CStore, R, C> SearchTreeVisitor<Space<VStore, CStore, R>> for StopNode<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>>)

impl<VStore, CStore, R, Domain, Size> VarSelection<Space<VStore, CStore, R>> for FirstSmallestVar

where VStore: Iterable<Item = Domain>, Domain: Cardinality<Size = Size>, Size: Ord + Unsigned + Integer,

fn select(&mut self, space: &Space<VStore, CStore, R>) -> usize

impl<VStore, CStore, R, Domain, Size> VarSelection<Space<VStore, CStore, R>> for InputOrder

where VStore: Iterable<Item = Domain>, Domain: Cardinality<Size = Size>, Size: Ord + Unsigned + Integer,

fn select(&mut self, space: &Space<VStore, CStore, R>) -> usize