Function pathfinding::directed::iddfs::iddfs [−][src]
pub fn iddfs<N, FN, IN, FS>(
start: N,
successors: FN,
success: FS
) -> Option<Vec<N>> where
N: Eq,
FN: FnMut(&N) -> IN,
IN: IntoIterator<Item = N>,
FS: FnMut(&N) -> bool,
Compute a shortest path using the iterative deepening depth-first search algorithm.
The shortest path starting from start
up to a node for which success
returns true
is
computed and returned in a Some
. If no path can be found, None
is returned instead.
start
is the starting node.successors
returns a list of successors for a given node.success
checks whether the goal has been reached. It is not a node as some problems require a dynamic solution instead of a fixed node.
A node will never be included twice in the path as determined by the Eq
relationship.
The returned path comprises both the start and end node. Note that the start node ownership
is taken by iddfs
as no clones are made.
Example
We will search the shortest path on a chess board to go from (1, 1) to (4, 6) doing only knight moves.
The first version uses an explicit type Pos
on which the required traits are derived.
use pathfinding::prelude::iddfs; #[derive(Eq, PartialEq)] struct Pos(i32, i32); impl Pos { fn successors(&self) -> Vec<Pos> { let &Pos(x, y) = self; vec![Pos(x+1,y+2), Pos(x+1,y-2), Pos(x-1,y+2), Pos(x-1,y-2), Pos(x+2,y+1), Pos(x+2,y-1), Pos(x-2,y+1), Pos(x-2,y-1)] } } static GOAL: Pos = Pos(4, 6); let result = iddfs(Pos(1, 1), |p| p.successors(), |p| *p == GOAL); assert_eq!(result.expect("no path found").len(), 5);
The second version does not declare a Pos
type, makes use of more closures,
and is thus shorter.
use pathfinding::prelude::iddfs; static GOAL: (i32, i32) = (4, 6); let result = iddfs((1, 1), |&(x, y)| vec![(x+1,y+2), (x+1,y-2), (x-1,y+2), (x-1,y-2), (x+2,y+1), (x+2,y-1), (x-2,y+1), (x-2,y-1)], |&p| p == GOAL); assert_eq!(result.expect("no path found").len(), 5);