Trait graphplan::solver::GraphPlanSolver

pub trait GraphPlanSolver<'a, ActionId: Hash + Ord + Clone + Debug, PropositionId: Hash + Ord + Clone + Debug + Display> {
    fn search<'b>(
        plangraph: &'b PlanGraph<'a, ActionId, PropositionId>
    ) -> Option<Solution<'a, ActionId, PropositionId>>;
}

Required methods

fn search<'b>(
    plangraph: &'b PlanGraph<'a, ActionId, PropositionId>
) -> Option<Solution<'a, ActionId, PropositionId>>

Searches a plangraph for a sequence of collection of actions that satisfy the goals

Loading content...

Implementors

impl<'a, ActionId: Ord + Clone + Hash + Debug, PropositionId: Ord + Clone + Hash + Debug + Display> GraphPlanSolver<'a, ActionId, PropositionId> for SimpleSolver

fn search<'b>(
    plangraph: &'b PlanGraph<'a, ActionId, PropositionId>
) -> Option<Solution<'a, ActionId, PropositionId>>

Loading content...