Struct Problem 

pub struct Problem {
    pub name: Name,
    pub domain_name: Name,
    pub requirements: Vec<Requirement>,
    pub objects: TypedList<Name>,
    pub init: Vec<InitElement>,
    pub goal: Condition,
    pub metric: Option<MetricSpec>,
    pub constraints: Option<Condition>,
}

A parsed PDDL problem file.

Produced by super::parser::parse_problem / super::parser::parse_problem_str.

Fields

name: Name

The problem name from (problem <name>).

domain_name: Name

The domain this problem refers to, from (:domain <name>).

requirements: Vec<Requirement>

Declared requirements (:requirements), if any.

objects: TypedList<Name>

Typed object list (:objects).

init: Vec<InitElement>

Initial state elements (:init).

goal: Condition

Goal condition (:goal).

metric: Option<MetricSpec>

Optional optimization metric (:metric).

constraints: Option<Condition>

Optional PDDL3 trajectory constraints (:constraints).

Implementations

impl Problem

pub fn sort_alphabetically(&mut self)

Sort object lists and init elements alphabetically for deterministic ordering.

Trait Implementations

impl Clone for Problem

fn clone(&self) -> Problem

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Problem

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl PartialEq for Problem

fn eq(&self, other: &Problem) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for Problem

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for Problem