concepts.dm.pdsketch.regression_rule.RegressionCommitFlag

class RegressionCommitFlag

Bases: object

Methods

Attributes

goal_serializability
csp_serializability
include_goal	Whether to include the current subgoal while committing the CSP.

__init__(goal_serializability='STRONG', csp_serializability='FORALL', goal=False)

Parameters:

• goal_serializability (str)

• csp_serializability (str)

• goal (bool)

__new__(**kwargs)

csp_serializability: SubgoalCSPSerializability

goal_serializability: SubgoalSerializability

include_goal: bool

Whether to include the current subgoal while committing the CSP.