Module ast 

Abstract Syntax Tree (AST) for PDDL domain and problem files.

Every type here is produced by the parser (see super::parser). The AST is a direct structural representation of the PDDL syntax: no semantic analysis, type checking, or planning is performed at this stage.

Structs

AtomicFormula

A predicate applied to arguments, e.g. (at truck1 city-a).

BasicAction

A non-temporal (instantaneous) PDDL action defined with :action.

DerivedPredicate

A derived predicate (:derived) with axiom body.

Domain

A parsed PDDL domain file.

DurativeAction

A temporal PDDL action defined with :durative-action.

FunctionDecl

A numeric function declaration from :functions, with optional return type.

FunctionTerm

A reference to a numeric function (fluent) with its arguments.

MetricSpec

The :metric specification combining optimization direction and expression.

PredicateDecl

A predicate declaration from the :predicates section, with name and typed parameters.

Problem

A parsed PDDL problem file.

TypedGroup

A group of items sharing a common PDDL type.

Enums

AssignOp

Numeric assignment operators for Effect::NumericAssign.

BinaryOp

Arithmetic binary operators for NumericExpr::BinaryOp.

CompareOp

Numeric comparison operators used in Condition::NumericComparison and DurationConstraint::Cmp.

Condition

A condition (goal description) in PDDL.

DurationConstraint

Duration constraint on a durative action (e.g. (= ?duration 5), (>= ?duration (distance ?x ?y))).

Effect

An action effect.

InitElement

An element of the problem’s :init section.

NumericExpr

A numeric expression tree used in preconditions, effects, durations, and metrics.

Optimization

Optimization direction for the :metric specification.

Requirement

PDDL requirement flags declared in the :requirements section of a domain.

Term

A term appearing as an argument to a predicate or function.

Type Aliases

Name

A symbol name: predicate/action/object names, type names, etc.

TypeDeclarations

Represents type declarations like driver truck obj - locatable.

TypedList

A sequence of typed groups; the standard PDDL typed-list construct (e.g. ?x ?y - type1 ?z - type2).

Variable

A variable reference including the leading ? (e.g. ?x, ?from).