Enum Effect 

pub enum Effect {
    And(Vec<Effect>),
    Predicate(AtomicFormula),
    NotPredicate(AtomicFormula),
    Forall {
        variables: TypedList<Variable>,
        effect: Box<Effect>,
    },
    When {
        condition: Condition,
        effect: Box<Effect>,
    },
    NumericAssign {
        op: AssignOp,
        function: FunctionTerm,
        expr: NumericExpr,
    },
    AtStart(Box<Effect>),
    AtEnd(Box<Effect>),
}

An action effect.

Effects can add/delete predicate instances, perform numeric assignments, and include conditional (when) and universal (forall) sub-effects. Inside durative actions, effects are wrapped in temporal markers (AtStart, AtEnd).

Variants

And(Vec<Effect>)

Conjunction: (and e1 e2 ...).

Predicate(AtomicFormula)

Add (assert) a predicate instance.

NotPredicate(AtomicFormula)

Delete (negate) a predicate instance: (not (pred ...)).

Forall

Universal effect: (forall (?x - type) <effect>).

Fields

variables: TypedList<Variable>

effect: Box<Effect>

When

Conditional effect: (when <condition> <effect>).

Fields

condition: Condition

effect: Box<Effect>

NumericAssign

Numeric assignment: (assign/increase/decrease/scale-up/scale-down <fn> <expr>).

Fields

op: AssignOp

function: FunctionTerm

expr: NumericExpr

AtStart(Box<Effect>)

(at start <effect>).

AtEnd(Box<Effect>)

(at end <effect>).

Trait Implementations

impl Clone for Effect

fn clone(&self) -> Effect

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Effect

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

Formats the value using the given formatter.

impl PartialEq for Effect

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

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 Effect