Index

_

_children (refine_plan.models.behaviour_tree.CompositeNode attribute) _comp_fn (refine_plan.models.condition.InequalityCondition attribute) _comp_str (refine_plan.models.condition.InequalityCondition attribute) _cond (refine_plan.models.behaviour_tree.ConditionNode attribute) (refine_plan.models.condition.Label attribute) (refine_plan.models.condition.NotCondition attribute) _cond_list (refine_plan.models.condition.AndCondition attribute) (refine_plan.models.condition.OrCondition attribute) _default_action (refine_plan.algorithms.policy_to_bt.PolicyBTConverter attribute) _default_needed (refine_plan.algorithms.policy_to_bt.PolicyBTConverter attribute) _hash_val (refine_plan.models.condition.AddCondition attribute) (refine_plan.models.condition.AndCondition attribute) (refine_plan.models.condition.EqCondition attribute) (refine_plan.models.condition.InequalityCondition attribute) (refine_plan.models.condition.Label attribute) (refine_plan.models.condition.NeqCondition attribute) (refine_plan.models.condition.NotCondition attribute) (refine_plan.models.condition.OrCondition attribute) (refine_plan.models.state.State attribute) (refine_plan.models.state_factor.StateFactor attribute) _inc_value (refine_plan.models.condition.AddCondition attribute) _initial_state (refine_plan.models.semi_mdp.SemiMDP attribute) _labels (refine_plan.models.semi_mdp.SemiMDP attribute)

_name (refine_plan.models.behaviour_tree.ActionNode attribute) (refine_plan.models.behaviour_tree.ConditionNode attribute) (refine_plan.models.condition.Label attribute) (refine_plan.models.option.Option attribute) (refine_plan.models.state_factor.StateFactor attribute) _options (refine_plan.models.semi_mdp.SemiMDP attribute) _reward_list (refine_plan.models.option.Option attribute) _root_node (refine_plan.models.behaviour_tree.BehaviourTree attribute) _sf (refine_plan.models.condition.AddCondition attribute) (refine_plan.models.condition.EqCondition attribute) (refine_plan.models.condition.InequalityCondition attribute) (refine_plan.models.condition.NeqCondition attribute) _sf_dict (refine_plan.models.state.State attribute) _state_action_dict (refine_plan.models.policy.Policy attribute) _state_dict (refine_plan.models.state.State attribute) _state_factors (refine_plan.models.semi_mdp.SemiMDP attribute) _transition_list (refine_plan.models.option.Option attribute) _value (refine_plan.models.condition.EqCondition attribute) (refine_plan.models.condition.InequalityCondition attribute) (refine_plan.models.condition.NeqCondition attribute) _value_dict (refine_plan.models.policy.Policy attribute) _values (refine_plan.models.state_factor.StateFactor attribute) _vars_to_conds (refine_plan.algorithms.policy_to_bt.PolicyBTConverter attribute) _vars_to_symbols (refine_plan.algorithms.policy_to_bt.PolicyBTConverter attribute)

A

ActionNode (class in refine_plan.models.behaviour_tree) add_child() (refine_plan.models.behaviour_tree.CompositeNode method) add_cond() (refine_plan.models.condition.AndCondition method) (refine_plan.models.condition.OrCondition method)

AddCondition (class in refine_plan.models.condition) AndCondition (class in refine_plan.models.condition)

B

BehaviourTree (class in refine_plan.models.behaviour_tree)

BoolStateFactor (class in refine_plan.models.state_factor) BTNode (class in refine_plan.models.behaviour_tree)

C

CompositeNode (class in refine_plan.models.behaviour_tree) Condition (class in refine_plan.models.condition)

ConditionNode (class in refine_plan.models.behaviour_tree) convert_policy() (refine_plan.algorithms.policy_to_bt.PolicyBTConverter method)

E

EqCondition (class in refine_plan.models.condition)

F

FallbackNode (class in refine_plan.models.behaviour_tree)

G

GeqCondition (class in refine_plan.models.condition) get_action() (refine_plan.models.policy.Policy method) get_cond() (refine_plan.models.behaviour_tree.ConditionNode method) get_det_initial_state() (refine_plan.models.semi_mdp.SemiMDP method) get_idx() (refine_plan.models.state_factor.IntStateFactor method) (refine_plan.models.state_factor.StateFactor method) get_labels() (refine_plan.models.semi_mdp.SemiMDP method) get_name() (refine_plan.models.behaviour_tree.ActionNode method) (refine_plan.models.behaviour_tree.ConditionNode method) (refine_plan.models.option.Option method) (refine_plan.models.state_factor.StateFactor method) get_random_divisor() (in module refine_plan.algorithms.gfactor) get_reward() (refine_plan.models.option.Option method) (refine_plan.models.semi_mdp.SemiMDP method)

get_reward_prism_string() (refine_plan.models.option.Option method) get_root_node() (refine_plan.models.behaviour_tree.BehaviourTree method) get_state_factors() (refine_plan.models.semi_mdp.SemiMDP method) get_transition_prism_string() (refine_plan.models.option.Option method) get_transition_prob() (refine_plan.models.option.Option method) (refine_plan.models.semi_mdp.SemiMDP method) get_valid_values() (refine_plan.models.state_factor.StateFactor method) get_value() (refine_plan.models.policy.Policy method) (refine_plan.models.state_factor.IntStateFactor method) (refine_plan.models.state_factor.StateFactor method) gfactor() (in module refine_plan.algorithms.gfactor) GtCondition (class in refine_plan.models.condition)

I

InequalityCondition (class in refine_plan.models.condition) IntStateFactor (class in refine_plan.models.state_factor) is_post_cond() (refine_plan.models.condition.AddCondition method) (refine_plan.models.condition.AndCondition method) (refine_plan.models.condition.Condition method) (refine_plan.models.condition.EqCondition method) (refine_plan.models.condition.InequalityCondition method) (refine_plan.models.condition.NeqCondition method) (refine_plan.models.condition.NotCondition method) (refine_plan.models.condition.OrCondition method) (refine_plan.models.condition.TrueCondition method) is_pre_cond() (refine_plan.models.condition.AddCondition method) (refine_plan.models.condition.AndCondition method) (refine_plan.models.condition.Condition method) (refine_plan.models.condition.EqCondition method) (refine_plan.models.condition.InequalityCondition method) (refine_plan.models.condition.NeqCondition method) (refine_plan.models.condition.NotCondition method) (refine_plan.models.condition.OrCondition method) (refine_plan.models.condition.TrueCondition method)

is_satisfied() (refine_plan.models.condition.AddCondition method) (refine_plan.models.condition.AndCondition method) (refine_plan.models.condition.Condition method) (refine_plan.models.condition.EqCondition method) (refine_plan.models.condition.InequalityCondition method) (refine_plan.models.condition.NeqCondition method) (refine_plan.models.condition.NotCondition method) (refine_plan.models.condition.OrCondition method) (refine_plan.models.condition.TrueCondition method) is_valid_value() (refine_plan.models.state_factor.StateFactor method)

L

Label (class in refine_plan.models.condition)

LeqCondition (class in refine_plan.models.condition) LtCondition (class in refine_plan.models.condition)

M

MAX_TRIES (in module refine_plan.algorithms.gfactor) module refine_plan refine_plan.algorithms refine_plan.algorithms.gfactor refine_plan.algorithms.policy_to_bt refine_plan.algorithms.refine refine_plan.algorithms.semi_mdp_solver refine_plan.models refine_plan.models.behaviour_tree refine_plan.models.condition refine_plan.models.option refine_plan.models.policy refine_plan.models.semi_mdp refine_plan.models.state refine_plan.models.state_factor

most_common_condition() (in module refine_plan.algorithms.gfactor)

N

NeqCondition (class in refine_plan.models.condition)

NotCondition (class in refine_plan.models.condition)

O

Option (class in refine_plan.models.option)

OrCondition (class in refine_plan.models.condition)

P

Policy (class in refine_plan.models.policy)

PolicyBTConverter (class in refine_plan.algorithms.policy_to_bt)

Q

quick_divisor() (in module refine_plan.algorithms.gfactor)

R

range_of_values() (refine_plan.models.condition.AddCondition method) (refine_plan.models.condition.AndCondition method) (refine_plan.models.condition.Condition method) (refine_plan.models.condition.EqCondition method) (refine_plan.models.condition.InequalityCondition method) (refine_plan.models.condition.NeqCondition method) (refine_plan.models.condition.NotCondition method) (refine_plan.models.condition.OrCondition method) (refine_plan.models.condition.TrueCondition method) refine_plan module refine_plan.algorithms module refine_plan.algorithms.gfactor module refine_plan.algorithms.policy_to_bt module refine_plan.algorithms.refine module

refine_plan.algorithms.semi_mdp_solver module refine_plan.models module refine_plan.models.behaviour_tree module refine_plan.models.condition module refine_plan.models.option module refine_plan.models.policy module refine_plan.models.semi_mdp module refine_plan.models.state module refine_plan.models.state_factor module

S

SemiMDP (class in refine_plan.models.semi_mdp) SequenceNode (class in refine_plan.models.behaviour_tree) State (class in refine_plan.models.state)

StateFactor (class in refine_plan.models.state_factor) synthesise_bt_from_options() (in module refine_plan.algorithms.refine) synthesise_policy() (in module refine_plan.algorithms.semi_mdp_solver)

T

tick_at_state() (refine_plan.models.behaviour_tree.ActionNode method) (refine_plan.models.behaviour_tree.BehaviourTree method) (refine_plan.models.behaviour_tree.ConditionNode method) (refine_plan.models.behaviour_tree.FallbackNode method) (refine_plan.models.behaviour_tree.SequenceNode method) to_and_cond() (refine_plan.models.state.State method) to_BT_XML() (refine_plan.models.behaviour_tree.ActionNode method) (refine_plan.models.behaviour_tree.BehaviourTree method) (refine_plan.models.behaviour_tree.BTNode method) (refine_plan.models.behaviour_tree.CompositeNode method) (refine_plan.models.behaviour_tree.ConditionNode method) (refine_plan.models.behaviour_tree.FallbackNode method) (refine_plan.models.behaviour_tree.SequenceNode method) to_prism_string() (refine_plan.models.condition.AddCondition method) (refine_plan.models.condition.AndCondition method) (refine_plan.models.condition.Condition method) (refine_plan.models.condition.EqCondition method) (refine_plan.models.condition.InequalityCondition method) (refine_plan.models.condition.Label method) (refine_plan.models.condition.NeqCondition method) (refine_plan.models.condition.NotCondition method) (refine_plan.models.condition.OrCondition method) (refine_plan.models.condition.TrueCondition method) (refine_plan.models.semi_mdp.SemiMDP method) (refine_plan.models.state_factor.StateFactor method)

to_pyeda_expr() (refine_plan.models.condition.AddCondition method) (refine_plan.models.condition.AndCondition method) (refine_plan.models.condition.Condition method) (refine_plan.models.condition.EqCondition method) (refine_plan.models.condition.GeqCondition method) (refine_plan.models.condition.GtCondition method) (refine_plan.models.condition.LeqCondition method) (refine_plan.models.condition.LtCondition method) (refine_plan.models.condition.NeqCondition method) (refine_plan.models.condition.NotCondition method) (refine_plan.models.condition.OrCondition method) (refine_plan.models.condition.TrueCondition method) TrueCondition (class in refine_plan.models.condition)