concepts.dm.crow.planners.regression_planning_impl.crow_regression_planner_iddfs_v1.CrowPlanningResult3#

class CrowPlanningResult3[source]#

Bases: CrowPlanningResult

CrowPlanningResult3(state: concepts.dm.crow.crow_domain.CrowState, csp: Optional[concepts.dsl.constraint.ConstraintSatisfactionProblem], controller_actions: Tuple[concepts.dm.crow.controller.CrowControllerApplier, …], scopes: Dict[int, Any], latest_scope: int, scope_constraints: Dict[int, List[concepts.dsl.expression.ValueOutputExpression]], scope_constraint_evaluations: Dict[int, List[bool]], dependency_trace: Tuple[concepts.dm.crow.planners.regression_dependency.RegressionTraceStatement, …])

Methods

`all_scope_constraints`()
`clone`([state, csp, controller_actions, ...])
`clone_with_new_constraint`(scope_id, ...)
`clone_with_removed_constraint`(scope_id, ...)
`iter_not_satisfied_constraints`()
`make_empty`(state)

Attributes

`scope_constraints`
`scope_constraint_evaluations`
`dependency_trace`
`state`
`csp`
`controller_actions`
`scopes`
`latest_scope`

__init__(state, csp, controller_actions, scopes, latest_scope, scope_constraints, scope_constraint_evaluations, dependency_trace)#

Parameters:

state (CrowState)
csp (ConstraintSatisfactionProblem | None)
controller_actions (Tuple[CrowControllerApplier, ...])
scopes (Dict[int, Any])
latest_scope (int)
scope_constraints (Dict[int, List[ValueOutputExpression]])
scope_constraint_evaluations (Dict[int, List[bool]])
dependency_trace (Tuple[RegressionTraceStatement, ...])

Return type:

None

__new__(**kwargs)#

all_scope_constraints()[source]#

Return type:: List[str]

clone(state=UNSET, csp=UNSET, controller_actions=UNSET, scopes=UNSET, latest_scope=UNSET, scope_constraints=UNSET, scope_constraint_evaluations=UNSET, dependency_trace=UNSET)[source]#