pub struct ConflictBasedSearch<TS, S, A, C, DC, H>where
TS: TransitionSystem<S, A, C, DC> + Send + Sync,
S: Debug + State + Eq + Hash + Clone + Send + Sync,
A: Debug + Copy + Send + Sync,
C: Debug + Hash + Eq + PartialOrd + Ord + Add<DC, Output = C> + Sub<DC, Output = C> + Sub<C, Output = DC> + Copy + Default + LimitValues + Send + Sync,
DC: Debug + Hash + Ord + Add<DC, Output = DC> + Sub<DC, Output = DC> + Div<f64, Output = DC> + Copy + Default + Send + Sync,
H: Heuristic<TS, S, A, C, DC> + Send + Sync,{ /* private fields */ }Expand description
Implementation of the Conflict-Based Search algorithm that plans collision-free paths for a set of agents.
Implementations§
Source§impl<TS, S, A, C, DC, H> ConflictBasedSearch<TS, S, A, C, DC, H>where
TS: TransitionSystem<S, A, C, DC> + Send + Sync,
S: Debug + State + Eq + Hash + Clone + Send + Sync,
A: Debug + Copy + Send + Sync,
C: Debug + Hash + Eq + PartialOrd + Ord + Add<DC, Output = C> + Sub<DC, Output = C> + Sub<C, Output = DC> + Copy + Default + LimitValues + Send + Sync,
DC: Debug + Hash + Ord + Add<DC, Output = DC> + Sub<DC, Output = DC> + Div<f64, Output = DC> + Copy + Default + Send + Sync,
H: Heuristic<TS, S, A, C, DC> + Send + Sync,
impl<TS, S, A, C, DC, H> ConflictBasedSearch<TS, S, A, C, DC, H>where
TS: TransitionSystem<S, A, C, DC> + Send + Sync,
S: Debug + State + Eq + Hash + Clone + Send + Sync,
A: Debug + Copy + Send + Sync,
C: Debug + Hash + Eq + PartialOrd + Ord + Add<DC, Output = C> + Sub<DC, Output = C> + Sub<C, Output = DC> + Copy + Default + LimitValues + Send + Sync,
DC: Debug + Hash + Ord + Add<DC, Output = DC> + Sub<DC, Output = DC> + Div<f64, Output = DC> + Copy + Default + Send + Sync,
H: Heuristic<TS, S, A, C, DC> + Send + Sync,
Sourcepub fn new(transition_system: Arc<TS>) -> Self
pub fn new(transition_system: Arc<TS>) -> Self
Creates a new instance of the Conflict-Based Search algorithm.
§Arguments
transition_system- The transition system in which the agents navigate.
Auto Trait Implementations§
impl<TS, S, A, C, DC, H> !Freeze for ConflictBasedSearch<TS, S, A, C, DC, H>
impl<TS, S, A, C, DC, H> !RefUnwindSafe for ConflictBasedSearch<TS, S, A, C, DC, H>
impl<TS, S, A, C, DC, H> Send for ConflictBasedSearch<TS, S, A, C, DC, H>
impl<TS, S, A, C, DC, H> Sync for ConflictBasedSearch<TS, S, A, C, DC, H>
impl<TS, S, A, C, DC, H> Unpin for ConflictBasedSearch<TS, S, A, C, DC, H>where
H: Unpin,
impl<TS, S, A, C, DC, H> UnsafeUnpin for ConflictBasedSearch<TS, S, A, C, DC, H>
impl<TS, S, A, C, DC, H> UnwindSafe for ConflictBasedSearch<TS, S, A, C, DC, H>where
H: UnwindSafe,
TS: RefUnwindSafe,
DC: RefUnwindSafe,
C: RefUnwindSafe,
S: RefUnwindSafe,
A: RefUnwindSafe,
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> Downcast for Twhere
T: Any,
impl<T> Downcast for Twhere
T: Any,
Source§fn into_any(self: Box<T>) -> Box<dyn Any>
fn into_any(self: Box<T>) -> Box<dyn Any>
Convert
Box<dyn Trait> (where Trait: Downcast) to Box<dyn Any>. Box<dyn Any> can
then be further downcast into Box<ConcreteType> where ConcreteType implements Trait.Source§fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
Convert
Rc<Trait> (where Trait: Downcast) to Rc<Any>. Rc<Any> can then be
further downcast into Rc<ConcreteType> where ConcreteType implements Trait.Source§fn as_any(&self) -> &(dyn Any + 'static)
fn as_any(&self) -> &(dyn Any + 'static)
Convert
&Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot
generate &Any’s vtable from &Trait’s.Source§fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
Convert
&mut Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot
generate &mut Any’s vtable from &mut Trait’s.Source§impl<T> DowncastSync for T
impl<T> DowncastSync for T
Source§impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
Source§fn to_subset(&self) -> Option<SS>
fn to_subset(&self) -> Option<SS>
The inverse inclusion map: attempts to construct
self from the equivalent element of its
superset. Read moreSource§fn is_in_subset(&self) -> bool
fn is_in_subset(&self) -> bool
Checks if
self is actually part of its subset T (and can be converted to it).Source§fn to_subset_unchecked(&self) -> SS
fn to_subset_unchecked(&self) -> SS
Use with care! Same as
self.to_subset but without any property checks. Always succeeds.Source§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
The inclusion map: converts
self to the equivalent element of its superset.