concepts.pdsketch.regression_rule.BindExpression

class BindExpression

Bases: object

A bind 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 bind expression.
serializability	'strong', 'rule', or 'order'.
csp_serializability	'some' or 'forall'.
is_object_bind_expression	Whether the bind expression is an object bind 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 bind expression

goal: ValueOutputExpression | GeneratorApplicationExpression

The goal of the bind expression.

is_object_bind_expression: bool

Whether the bind expression is an object bind 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 bind expression

variables: Tuple[Variable, ...]

The variables to be found.