Enum StructureDef 

pub enum StructureDef {
    Action(ActionDefinition),
    DurativeAction(DurativeActionDefinition),
    Derived(DerivedPredicate),
}

A domain structure definition.

Usage

Used by StructureDefs in Domain.

Variants

Action(ActionDefinition)

DurativeAction(DurativeActionDefinition)

Requirements

Requires Durative Actions.

Derived(DerivedPredicate)

Requirements

Requires Derived Predicates.

Implementations

impl StructureDef

pub const fn new_action(action: ActionDefinition) -> Self

pub const fn new_durative_action(action: DurativeActionDefinition) -> Self

pub const fn new_derived(predicate: DerivedPredicate) -> Self

Trait Implementations

impl Clone for StructureDef

fn clone(&self) -> StructureDef

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for StructureDef

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

Formats the value using the given formatter.

impl From<ActionDefinition> for StructureDef

fn from(value: ActionDefinition) -> Self

Converts to this type from the input type.

impl From<DerivedPredicate> for StructureDef

fn from(value: DerivedPredicate) -> Self

Converts to this type from the input type.

impl From<DurativeActionDefinition> for StructureDef

fn from(value: DurativeActionDefinition) -> Self

Converts to this type from the input type.

impl FromIterator<StructureDef> for StructureDefs

fn from_iter<T: IntoIterator<Item = StructureDef>>(iter: T) -> Self

Creates a value from an iterator.

impl Parser for StructureDef

Available on crate feature parser only.

fn parse<'a, S: Into<Span<'a>>>(input: S) -> ParseResult<'a, Self::Item>

See parse_structure_def.

type Item = StructureDef

fn parse_span(input: Span<'_>) -> ParseResult<'_, Self::Item>

Parses the input into the specified Item type.

fn from_str(input: &str) -> Result<Self::Item, Err<ParseError<'_>>>

Uses the Parser::parse method to parse the input and, if successful, discards the unparsed remaining input.

impl PartialEq for StructureDef

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