concepts.pdsketch.regression_rule.FindExpression#

class FindExpression[source]#

Bases: object

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

Methods

Attributes

variables

The variables to be found.

goal

The goal of the find expression.

serializability

'strong', 'rule', or 'order'.

csp_serializability

'some' or 'forall'.

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 find expression

goal: ValueOutputExpression#

The goal of the find expression.

ordered: bool#

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

serializability: SubgoalSerializability#

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

Type:

The serializability of the find expression

variables: Tuple[Variable, ...]#

The variables to be found.