[][src]Struct graphplan::plangraph::PlanGraph

pub struct PlanGraph {
    pub goals: HashSet<Proposition>,
    pub actions: HashSet<Action>,
    pub layers: Vec<Layer>,
    pub mutex_props: HashMap<usize, HashSet<PairSet<Proposition>>>,
    pub mutex_actions: HashMap<usize, HashSet<PairSet<Action>>>,
}

Fields

goals: HashSet<Proposition>actions: HashSet<Action>layers: Vec<Layer>mutex_props: HashMap<usize, HashSet<PairSet<Proposition>>>mutex_actions: HashMap<usize, HashSet<PairSet<Action>>>

Methods

impl PlanGraph
[src]

pub fn new(
    initial_props: HashSet<&Proposition>,
    goals: HashSet<&Proposition>,
    actions: HashSet<&Action>
) -> Self
[src]

pub fn push(&mut self, layer: Layer)
[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>, String>
[src]

pub fn search_with<T>(&mut self, solver: &T) -> Option<Solution> where
    T: GraphPlanSolver
[src]

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: Option<Solution>) -> Option<Solution>
[src]

Takes a solution and filters out maintenance actions

Trait Implementations

impl Debug for PlanGraph
[src]

Auto Trait Implementations

impl Send for PlanGraph

impl Sync for PlanGraph

Blanket Implementations

impl<T> From for T
[src]

impl<T, U> Into for T where
    U: From<T>, 
[src]

impl<T, U> TryFrom for T where
    T: From<U>, 
[src]

type Error = !

🔬 This is a nightly-only experimental API. (try_from)

The type returned in the event of a conversion error.

impl<T> Borrow for T where
    T: ?Sized
[src]

impl<T> BorrowMut for T where
    T: ?Sized
[src]

impl<T, U> TryInto for T where
    U: TryFrom<T>, 
[src]

type Error = <U as TryFrom<T>>::Error

🔬 This is a nightly-only experimental API. (try_from)

The type returned in the event of a conversion error.

impl<T> Any for T where
    T: 'static + ?Sized
[src]