concepts.dm.crow.planners.regression_planning.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[ForwardRef(‘RegressionTraceStatement’), …], cost: float = 0.0)

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

__init__(state, csp, controller_actions, scopes, latest_scope, scope_constraints, scope_constraint_evaluations, dependency_trace, cost=0.0)#
Parameters:
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]#
Return type:

CrowPlanningResult3

clone_with_new_constraint(scope_id, constraint, evaluation, do)[source]#
Parameters:
Return type:

CrowPlanningResult3

clone_with_removed_constraint(scope_id, constraint)[source]#
Parameters:
Return type:

CrowPlanningResult3

iter_not_satisfied_constraints()[source]#
Return type:

Iterator[Tuple[int, int, ValueOutputExpression]]

classmethod make_empty(state)[source]#
Parameters:

state (CrowState)

Return type:

CrowPlanningResult3

controller_actions: Tuple[CrowControllerApplier, ...]#
cost: float = 0.0#
csp: ConstraintSatisfactionProblem | None#
dependency_trace: Tuple[RegressionTraceStatement, ...]#
latest_scope: int#
scope_constraint_evaluations: Dict[int, List[bool]]#
scope_constraints: Dict[int, List[ValueOutputExpression]]#
scopes: Dict[int, Any]#
state: CrowState#