[−][src]Struct graphplan::plangraph::PlanGraph
Fields
goals: HashSet<Proposition>
actions: HashSet<Action<ActionId>>
layers: Vec<Layer<ActionId>>
mutex_props: HashMap<usize, HashSet<PairSet<Proposition>>>
mutex_actions: HashMap<usize, HashSet<PairSet<Action<ActionId>>>>
Methods
impl<ActionId: Eq + Hash + Ord + PartialOrd + Clone + Debug> PlanGraph<ActionId>
[src]
pub fn new(
initial_props: HashSet<Proposition>,
goals: HashSet<Proposition>,
actions: HashSet<Action<ActionId>>
) -> Self
[src]
initial_props: HashSet<Proposition>,
goals: HashSet<Proposition>,
actions: HashSet<Action<ActionId>>
) -> Self
pub fn push(&mut self, layer: Layer<ActionId>)
[src]
pub fn extend(&mut self)
[src]
Extends the plangraph to depth i+1 Inserts another action layer and proposition layer
pub fn depth(&self) -> usize
[src]
Returns the depth of the planning graph
pub fn actions_at_layer(
&self,
index: usize
) -> Result<BTreeSet<Action<ActionId>>, String>
[src]
&self,
index: usize
) -> Result<BTreeSet<Action<ActionId>>, String>
pub fn search_with<T>(&mut self, solver: &T) -> Option<Solution<ActionId>> where
T: GraphPlanSolver<ActionId>,
[src]
T: GraphPlanSolver<ActionId>,
Searches the planning graph for a solution using the solver if there is no solution, extends the graph to depth i+1 and tries to solve again
pub fn format_plan(solution: Solution<ActionId>) -> Solution<ActionId>
[src]
Takes a solution and filters out maintenance actions
Trait Implementations
Auto Trait Implementations
impl<ActionId> RefUnwindSafe for PlanGraph<ActionId> where
ActionId: RefUnwindSafe,
ActionId: RefUnwindSafe,
impl<ActionId> Send for PlanGraph<ActionId> where
ActionId: Send,
ActionId: Send,
impl<ActionId> Sync for PlanGraph<ActionId> where
ActionId: Sync,
ActionId: Sync,
impl<ActionId> Unpin for PlanGraph<ActionId> where
ActionId: Unpin,
ActionId: Unpin,
impl<ActionId> UnwindSafe for PlanGraph<ActionId> where
ActionId: UnwindSafe,
ActionId: UnwindSafe,
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T
[src]
impl<T> From<T> for T
[src]
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = !
The type returned in the event of a conversion error.
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,