concepts.dm.crow.parsers.cdl_parser.CDLProblemTransformer#

class CDLProblemTransformer[source]#

Bases: CDLDomainTransformer

Methods

`BASIC_TYPENAME`(token)	Captures basic type names (non-vector types), such as int, float, bool, object, etc.
`BIN_NUMBER`(value)	Captures binary number literals.
`CONSTNAME`(token)	Captures constant names, such as CONST_NAME.
`DEC_NUMBER`(value)	Captures decimal number literals.
`ELLIPSIS`(_)	Captures the ... literal.
`FALSE`(_)	Captures the False literal.
`FLOAT_NUMBER`(value)	Captures floating point number literals.
`HEX_NUMBER`(value)	Captures hexadecimal number literals.
`IMAG_NUMBER`(value)	Captures complex number literals.
`OCT_NUMBER`(value)	Captures octal number literals.
`TRUE`(_)	Captures the True literal.
`VARNAME`(token)	Captures variable names, such as var_name.
`arguments_def`(args)	Captures the arguments definition.
`batched_typename`(element_dtype, indices)	Captures batched typenames defined as typename[indices].
`behavior_body_definition`(suite)
`behavior_definition`(annotations, name, args, ...)
`behavior_effect_definition`(suite)
`behavior_goal_definition`(suite)
`behavior_heuristic_definition`(suite)
`behavior_minimize_definition`(suite)
`boolean`(value)	Captures boolean literals.
`controller_definition`(annotations, name, ...)
`decorator_kwarg`(k[, v])	Captures the key-value pair of a decorator.
`decorator_kwargs`(args)	Captures the key-value pairs of a decorator.
`domain_def`(filename)
`feature_definition`(annotations, name, args, ...)
`function_definition`(annotations, name, args, ...)
`generator_definition`(annotations, name, ...)
`generator_goal_definition`(suite)
`generator_in_definition`(values)
`generator_out_definition`(values)
`goal_definition`(suite)
`in_typed_argument`(name, value)	Captures typed arguments defined as name in value.
`include_definition`(path)
`init_definition`(suite)
`is_typed_argument`(name, typename)	Captures typed arguments defined as name is typename.
`list_typename`(element_dtype)	Captures list typenames defined as list[typename].
`literal`(value)	Captures literal values.
`literal_list`(*items)	Captures literal lists, such as [1, 2, 3, 4].
`literal_set`(*items)	Captures literal sets, such as {1, 2, 3, 4}.
`multi_typed_arguments`(name, typename)	Captures multiple typed arguments defined as name1, name2: typename.
`number`(value)	Captures number literals, including integers, floats, and complex numbers.
`object_constant_definition`(name, typename)
`objects_definition`(*objects)
`pragma_definition`(pragma)
`pragma_definition_with_args`(function, arguments)
`problem_name`(name)
`sized_vector_typename`(name, size)	Captures sized vector typenames defined as vector[typename, size].
`string`(value)	Captures string literals.
`transform`(tree)	Transform the given tree, and return the final result
`type_definition`(typename, basetype)
`typed_argument`(name, typename)	Captures typed arguments defined as name: typename.
`typename`(name)	Captures typenames including basic types and vector types.
`unsized_vector_typename`(name)	Captures unsized vector typenames defined as vector[typename].

Attributes

`domain`
`expression_def_ctx`
`expression_interpreter`
`problem`

BASIC_TYPENAME(token)#: Captures basic type names (non-vector types), such as int, float, bool, object, etc.

BIN_NUMBER(value)#

Captures binary number literals.

Parameters:: value (str)
Return type:: int

CONSTNAME(token)#: Captures constant names, such as CONST_NAME.

DEC_NUMBER(value)#

Captures decimal number literals.

Parameters:: value (str)
Return type:: int

ELLIPSIS(_)#

Captures the … literal.

Return type:: str

FALSE(_)#

Captures the False literal.

Return type:: bool

FLOAT_NUMBER(value)#

Captures floating point number literals.

Parameters:: value (str)
Return type:: float

HEX_NUMBER(value)#

Captures hexadecimal number literals.

Parameters:: value (str)
Return type:: int

IMAG_NUMBER(value)#

Captures complex number literals.

Parameters:: value (str)
Return type:: complex

OCT_NUMBER(value)#

Captures octal number literals.

Parameters:: value (str)
Return type:: int

TRUE(_)#

Captures the True literal.

Return type:: bool

VARNAME(token)#: Captures variable names, such as var_name.

__init__(domain=None, state=None, auto_constant_guess=False)[source]#

Parameters:

domain (CrowDomain | None)
state (CrowState | None)
auto_constant_guess (bool)

__mul__(other)#

Chain two transformers together, returning a new transformer.

Parameters:

self (Transformer)
other (Transformer | TransformerChain[_Leaf_U, _Return_V])

Return type:

TransformerChain[_Leaf_T, _Return_V]

__new__(**kwargs)#

arguments_def(args)#: Captures the arguments definition. This is used in function definitions.

batched_typename(element_dtype, indices)#

Captures batched typenames defined as typename[indices].

Parameters:

element_dtype (str | TypeBase)
indices (Tree)

Return type:

BatchedListType

behavior_body_definition(suite)#

Parameters:: suite (Tree)
Return type:: BodyPart

behavior_definition(annotations, name, args, *parts)#

Parameters:

annotations (dict | None)
name (str)
args (ArgumentsDef | None)
parts (GoalPart | EffectPart | BodyPart | HeuristicPart)

behavior_effect_definition(suite)#

Parameters:: suite (Tree)
Return type:: EffectPart

behavior_goal_definition(suite)#

Parameters:: suite (Tree)
Return type:: GoalPart

behavior_heuristic_definition(suite)#

Parameters:: suite (Tree)
Return type:: HeuristicPart

behavior_minimize_definition(suite)#

Parameters:: suite (Tree)
Return type:: MinimizePart

boolean(value)#

Captures boolean literals.

Parameters:: value (bool)
Return type:: bool

controller_definition(annotations, name, args, effect)#

Parameters:

annotations (dict | None)
name (str)
args (ArgumentsDef | None)
effect (EffectPart | None)

decorator_kwarg(k, v=True)#

Captures the key-value pair of a decorator. This is used in the decorator syntax, such as [[k=True]].

Parameters:: v (LiteralValue | LiteralList | LiteralSet)
Return type:: Tuple[str, bool | int | float | complex | str | LiteralList | LiteralSet]

decorator_kwargs(args)#

Captures the key-value pairs of a decorator. This is used in the decorator syntax, such as [[k=True, k2=123, k3=[1, 2, 3]]].

Return type:: Dict[str, bool | int | float | complex | str | LiteralList | LiteralSet]

domain_def(filename)[source]#

Parameters:: filename (str)

feature_definition(annotations, name, args, ret, suite)#

Parameters:

annotations (dict | None)
name (str)
args (ArgumentsDef | None)
ret (str | TypeBase | None)
suite (Tree | None)

function_definition(annotations, name, args, ret, suite)#

Parameters:

annotations (dict | None)
name (str)
args (ArgumentsDef | None)
ret (str | TypeBase | None)
suite (Tree | None)

generator_definition(annotations, name, args, *parts)#

Parameters:

annotations (dict | None)
name (str)
args (ArgumentsDef | None)
parts (GoalPart | InPart | OutPart)

generator_goal_definition(suite)#

Parameters:: suite (Tree)
Return type:: GoalPart

generator_in_definition(values)#

Parameters:: values (Tree)
Return type:: InPart

generator_out_definition(values)#

Parameters:: values (Tree)
Return type:: OutPart

goal_definition(suite)[source]#

Parameters:: suite (Tree)

in_typed_argument(name, value)#

Captures typed arguments defined as name in value. This is used in forall/exists statements.

Parameters:

name (str)
value (Any)

Return type:

InTypedArgument

include_definition(path)#

Parameters:: path (str)

init_definition(suite)[source]#

Parameters:: suite (Tree)

is_typed_argument(name, typename)#

Captures typed arguments defined as name is typename. This is used in forall/exists statements.

Parameters:

name (str)
typename (str | TypeBase)

Return type:

Variable

list_typename(element_dtype)#

Captures list typenames defined as list[typename].

Parameters:: element_dtype (str | TypeBase)
Return type:: ListType

literal(value)#

Captures literal values.

Parameters:: value (bool | int | float | complex | str | LiteralList | LiteralSet)
Return type:: LiteralValue | LiteralList | LiteralSet

literal_list(*items)#

Captures literal lists, such as [1, 2, 3, 4].

Parameters:: items (Any)
Return type:: LiteralList

literal_set(*items)#

Captures literal sets, such as {1, 2, 3, 4}.

Parameters:: items (Any)
Return type:: LiteralSet

multi_typed_arguments(name, typename)#

Captures multiple typed arguments defined as name1, name2: typename.

Parameters:

name (Tree)
typename (str | TypeBase)

Return type:

CSList

number(value)#

Captures number literals, including integers, floats, and complex numbers.

Parameters:: value (int | float | complex)
Return type:: int | float | complex

object_constant_definition(name, typename)#

Parameters:

name (str)
typename (str)

objects_definition(*objects)[source]#

pragma_definition(pragma)#

Parameters:: pragma (Dict[str, Any])

pragma_definition_with_args(function, arguments)#

problem_name(name)[source]#

Parameters:: name (str)

sized_vector_typename(name, size)#

Captures sized vector typenames defined as vector[typename, size].

Parameters:

name (str | TypeBase)
size (int)

Return type:

VectorValueType

string(value)#

Captures string literals.

Parameters:: value (str)
Return type:: str

transform(tree)#

Transform the given tree, and return the final result

Parameters:: tree (Tree[_Leaf_T])
Return type:: _Return_T

type_definition(typename, basetype)#

Parameters:: basetype (str | TypeBase | None)

typed_argument(name, typename)#

Captures typed arguments defined as name: typename.

Parameters:

name (str)
typename (str | TypeBase)

Return type:

Variable

typename(name)#

Captures typenames including basic types and vector types.

Parameters:: name (str | TypeBase)
Return type:: TypeBase

unsized_vector_typename(name)#

Captures unsized vector typenames defined as vector[typename].

Parameters:: name (str | TypeBase)
Return type:: VectorValueType

property domain: CrowDomain#

property expression_def_ctx: ExpressionDefinitionContext#

property expression_interpreter: CDLExpressionInterpreter#

property problem: CrowProblem#