concepts.dm.crow.parsers.crow_parser#

Functions

gen_term_expr(expr_typename)

Generate a term expression function.

gen_term_expr_noop(expr_typename)

Generate a term expression function.

load_domain_file(filename)

Load a domain file.

load_domain_string(string)

Load a domain from a string.

load_domain_string_incremental(domain, string)

Load a domain from a string incrementally.

load_problem_file(filename[, domain])

Load a problem file.

load_problem_string(string[, domain])

Load a problem from a string.

parse_expression(domain, string[, state, ...])

Parse an expression.

Classes

ArgumentsDef

ArgumentsDef(arguments: Tuple[concepts.dsl.dsl_types.Variable, ...])

ArgumentsList

A list of argument values.

BodyPart

BodyPart(suite: lark.tree.Tree)

CSList

A comma-separated list of something.

EffectPart

EffectPart(suite: lark.tree.Tree)

FunctionCall

A function call.

FunctionCallTracker

This class is used to track the function calls and other statements in a suite.

GoalPart

GoalPart(suite: lark.tree.Tree)

ImplPart

ImplPart(suite: lark.tree.Tree)

InPart

InPart(suite: lark.tree.Tree)

InTypedArgument

A typed argument defined as name in value.

LiteralList

A list of literals.

LiteralSet

A set of literals.

LiteralValue

A literal value.

OutPart

OutPart(suite: lark.tree.Tree)

PDSketch3ExpressionInterpreter

The transformer for expressions.

PDSketch3LiteralTransformer

The transformer for literal types.

PDSketchV3DomainTransformer

PDSketchV3Parser

The parser for PDSketch v3.

PDSketchV3PathResolver

PDSketchV3ProblemTransformer

PreconditionPart

PreconditionPart(suite: lark.tree.Tree)

SideEffectPart

SideEffectPart(suite: lark.tree.Tree)

Suite

A suite of statements.