[−][src]Struct graphplan::plangraph::PlanGraph
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]
impl PlanGraph
pub fn new( | [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 | [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
Auto Trait Implementations
Blanket Implementations
impl<T> From for T
[src]
impl<T> From for T
impl<T, U> Into for T where
U: From<T>,
[src]
impl<T, U> Into for T where
U: From<T>,
impl<T, U> TryFrom for T where
T: From<U>,
[src]
impl<T, U> TryFrom for T where
T: From<U>,
type Error = !
🔬 This is a nightly-only experimental API. (
try_from
)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> Borrow for T where
T: ?Sized,
[src]
impl<T> Borrow for T where
T: ?Sized,
impl<T> BorrowMut for T where
T: ?Sized,
[src]
impl<T> BorrowMut for T where
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T | [src] |
impl<T, U> TryInto for T where
U: TryFrom<T>,
[src]
impl<T, U> TryInto for T where
U: TryFrom<T>,
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.
fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error> | [src] |
impl<T> Any for T where
T: 'static + ?Sized,
[src]
impl<T> Any for T where
T: 'static + ?Sized,
fn get_type_id(&self) -> TypeId | [src] |