concepts.pdsketch.regression_rule.RegressionCommitFlag#

class RegressionCommitFlag[source]#

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