Enum InitElement

pub enum InitElement {
    Literal(NameLiteral),
    At(Number, NameLiteral),
    IsValue(BasicFunctionTerm, Number),
    IsObject(BasicFunctionTerm, Name),
}

Usage

Used by InitElements in Problem.

Variants

Literal(NameLiteral)

At(Number, NameLiteral)

Requirements

Requires Timed Initial Literals.

IsValue(BasicFunctionTerm, Number)

Requirements

Requires Numeric Fluents.

IsObject(BasicFunctionTerm, Name)

Requirements

Requires Object Fluents.

Implementations

impl InitElement

pub const fn new_literal(name: NameLiteral) -> Self

pub const fn new_at(time: Number, name: NameLiteral) -> Self

pub const fn new_is_value(term: BasicFunctionTerm, value: Number) -> Self

pub const fn new_is_object(term: BasicFunctionTerm, value: Name) -> Self

Trait Implementations

impl Clone for InitElement

fn clone(&self) -> InitElement

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for InitElement

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

Formats the value using the given formatter.

impl FromIterator<InitElement> for InitElements

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

Creates a value from an iterator.

impl Parser for InitElement

Available on crate feature parser only.

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

See parse_init_el.

type Item = InitElement

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 InitElement

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