concepts.dm.pdsketch.regression_rule.BindExpression#

class BindExpression[source]#

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)[source]#
Parameters:
__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.