[−][src]Struct graphplan::GraphPlan
Methods
impl<'a, ActionId: Debug + Hash + Ord + Clone, PropositionId: Debug + Display + Hash + Ord + Clone> GraphPlan<'a, ActionId, PropositionId>
[src]
pub fn new(
initial_props: HashSet<&'a Proposition<PropositionId>>,
goals: HashSet<&'a Proposition<PropositionId>>,
actions: HashSet<&'a Action<'a, ActionId, PropositionId>>
) -> GraphPlan<'a, ActionId, PropositionId>
[src]
initial_props: HashSet<&'a Proposition<PropositionId>>,
goals: HashSet<&'a Proposition<PropositionId>>,
actions: HashSet<&'a Action<'a, ActionId, PropositionId>>
) -> GraphPlan<'a, ActionId, PropositionId>
Returns a new GraphPlan. Note: you probably want to use
from_domain
instead.
pub fn from_domain(
domain: &'a Domain<'a, ActionId, PropositionId>
) -> GraphPlan<'a, ActionId, PropositionId>
[src]
domain: &'a Domain<'a, ActionId, PropositionId>
) -> GraphPlan<'a, ActionId, PropositionId>
pub fn create_domain(
initial_props: HashSet<&'a Proposition<PropositionId>>,
goals: HashSet<&'a Proposition<PropositionId>>,
actions: HashSet<&'a Action<'a, ActionId, PropositionId>>
) -> Domain<'a, ActionId, PropositionId>
[src]
initial_props: HashSet<&'a Proposition<PropositionId>>,
goals: HashSet<&'a Proposition<PropositionId>>,
actions: HashSet<&'a Action<'a, ActionId, PropositionId>>
) -> Domain<'a, ActionId, PropositionId>
Returns a domain with all maintenance actions.automatically created. This is needed to avoid lifetime issues with PlanGraph
pub fn search<Solver>(
&mut self
) -> Option<Solution<'a, ActionId, PropositionId>> where
Solver: GraphPlanSolver<'a, ActionId, PropositionId>,
[src]
&mut self
) -> Option<Solution<'a, ActionId, PropositionId>> where
Solver: GraphPlanSolver<'a, ActionId, PropositionId>,
pub fn format_plan(
solution: Solution<ActionId, PropositionId>
) -> Solution<ActionId, PropositionId>
[src]
solution: Solution<ActionId, PropositionId>
) -> Solution<ActionId, PropositionId>
Takes a solution and filters out maintenance actions
Auto Trait Implementations
impl<'a, ActionId, PropositionId> RefUnwindSafe for GraphPlan<'a, ActionId, PropositionId> where
ActionId: RefUnwindSafe,
PropositionId: RefUnwindSafe,
ActionId: RefUnwindSafe,
PropositionId: RefUnwindSafe,
impl<'a, ActionId, PropositionId> Send for GraphPlan<'a, ActionId, PropositionId> where
ActionId: Sync,
PropositionId: Sync,
ActionId: Sync,
PropositionId: Sync,
impl<'a, ActionId, PropositionId> Sync for GraphPlan<'a, ActionId, PropositionId> where
ActionId: Sync,
PropositionId: Sync,
ActionId: Sync,
PropositionId: Sync,
impl<'a, ActionId, PropositionId> Unpin for GraphPlan<'a, ActionId, PropositionId>
impl<'a, ActionId, PropositionId> UnwindSafe for GraphPlan<'a, ActionId, PropositionId> where
ActionId: RefUnwindSafe,
PropositionId: RefUnwindSafe,
ActionId: RefUnwindSafe,
PropositionId: RefUnwindSafe,
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 = Infallible
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>,