concepts.dm.crow.parsers.cdl_parser#

Functions

gen_term_expr(expr_typename)

Generate a term expression function.

gen_term_expr_noop(expr_typename)

Generate a term expression function.

get_default_parser()

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.

set_parser_verbose([verbose])

Classes

ArgumentsDef

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

ArgumentsList

A list of argument values.

BodyPart

BodyPart(suite: lark.tree.Tree)

CDLDomainTransformer

CDLExpressionInterpreter

The transformer for expressions.

CDLLiteralTransformer

The transformer for literal types.

CDLParser

The parser for PDSketch v3.

CDLPathResolver

CDLProblemTransformer

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)

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)

PreconditionPart

PreconditionPart(suite: lark.tree.Tree)

SideEffectPart

SideEffectPart(suite: lark.tree.Tree)

Suite

A suite of statements.