Struct Domain 

pub struct Domain {
    pub name: Name,
    pub requirements: Vec<Requirement>,
    pub types: TypeDeclarations,
    pub constants: TypedList<Name>,
    pub predicates: Vec<PredicateDecl>,
    pub functions: Vec<FunctionDecl>,
    pub actions: Vec<BasicAction>,
    pub durative_actions: Vec<DurativeAction>,
    pub derived_predicates: Vec<DerivedPredicate>,
}

A parsed PDDL domain file.

Produced by super::parser::parse_domain / super::parser::parse_domain_str.

Fields

name: Name

The domain name from (domain <name>).

requirements: Vec<Requirement>

Declared requirements (:requirements).

types: TypeDeclarations

Type hierarchy declarations (:types).

constants: TypedList<Name>

Domain-level constants (:constants).

predicates: Vec<PredicateDecl>

Predicate declarations (:predicates).

functions: Vec<FunctionDecl>

Numeric function declarations (:functions).

actions: Vec<BasicAction>

Instantaneous actions (:action).

durative_actions: Vec<DurativeAction>

Temporal actions (:durative-action).

derived_predicates: Vec<DerivedPredicate>

Derived predicates / axioms (:derived).

Implementations

impl Domain

pub fn sort_alphabetically(&mut self)

Sort all declaration lists alphabetically by name.

Sorts predicates, functions, actions, durative actions, derived predicates, and items within each typed group (constants, types) for deterministic ordering.

Trait Implementations

impl Clone for Domain

fn clone(&self) -> Domain

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Domain

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

Formats the value using the given formatter.

impl PartialEq for Domain

fn eq(&self, other: &Domain) -> 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 Domain

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 Domain