Skip to main content

PEffect

Type Alias PEffect 

Source
pub type PEffect = PrimitiveEffect;
👎Deprecated since 0.2.0:

Use PrimitiveEffect instead

Expand description

Alias for PrimitiveEffect; matches BNF <p-effect>.

Aliased Type§

pub enum PEffect {
    AtomicFormula(AtomicFormula<Term>),
    NotAtomicFormula(AtomicFormula<Term>),
    AssignNumericFluent(AssignOp, FunctionHead, FluentExpression),
    AssignObjectFluent(FunctionTerm, Option<Term>),
}

Variants§

§

AtomicFormula(AtomicFormula<Term>)

§

NotAtomicFormula(AtomicFormula<Term>)

§

AssignNumericFluent(AssignOp, FunctionHead, FluentExpression)

§Requirements

Requires Numeric Fluents.

§

AssignObjectFluent(FunctionTerm, Option<Term>)

§Requirements

Requires Object Fluents.