concepts.pdsketch.regression_rule.FindExpression

class FindExpression

Bases: object

A find expression. This is used in the definition of regression rules.

Methods

Attributes

refinement_compressible
sequential_decomposable
variables	The variables to be found.
goal	The goal of the find expression.
serializability	'strong', 'rule', or 'order'.
csp_serializability	'some' or 'forall'.
is_object_find_expression	Whether the find expression is an object find expression (i.e., all variables are object variables).
ordered	Whether this expression participates in the ordering of the variable orderings.

__init__(variables, goal, serializability='strong', csp_serializability='none', ordered=True)

Parameters:

• variables (Sequence[Variable]) –

• goal (ValueOutputExpression | GeneratorApplicationExpression) –

• serializability (str | SubgoalSerializability) –

• csp_serializability (str | SubgoalCSPSerializability) –

• ordered (bool) –

__new__(**kwargs)

csp_serializability: SubgoalCSPSerializability

‘some’ or ‘forall’.

Type:

The continuous serializability of the find expression

goal: ValueOutputExpression | GeneratorApplicationExpression

The goal of the find expression.

is_object_find_expression: bool

Whether the find expression is an object find expression (i.e., all variables are object variables).

ordered: bool

Whether this expression participates in the ordering of the variable orderings.

property refinement_compressible: bool

property sequential_decomposable: bool

serializability: SubgoalSerializability

‘strong’, ‘rule’, or ‘order’.

Type:

The serializability of the find expression

variables: Tuple[Variable, ...]

The variables to be found.