Enum PrefTimedGD 

pub enum PrefTimedGD {
    Required(TimedGD),
    Preference(Option<PreferenceName>, TimedGD),
}

A (preferred) timed goal definition.

Usage

Used by DurativeActionGoalDefinition.

Variants

Required(TimedGD)

Preference(Option<PreferenceName>, TimedGD)

Requirements

Requires Preferences.

Implementations

impl PrefTimedGD

pub const fn new_required(gd: TimedGD) -> Self

pub const fn new_preference(name: Option<PreferenceName>, gd: TimedGD) -> Self

Trait Implementations

impl Clone for PrefTimedGD

fn clone(&self) -> PrefTimedGD

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PrefTimedGD

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

Formats the value using the given formatter.

impl From<(Option<PreferenceName>, TimedGD)> for PrefTimedGD

fn from(value: (Option<PreferenceName>, TimedGD)) -> Self

Converts to this type from the input type.

impl From<PrefTimedGD> for DurativeActionGoalDefinition

fn from(value: PrefTimedGD) -> Self

Converts to this type from the input type.

impl From<TimedGD> for PrefTimedGD

fn from(value: TimedGD) -> Self

Converts to this type from the input type.

impl Parser for PrefTimedGD

Available on crate feature parser only.

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

See parse_pref_timed_gd.

type Item = PrefTimedGD

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 PrefTimedGD

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