Index

A

AbstractEnsembleGenerator (class in rethon) account() (rethon.StandardReflectiveEquilibrium method) achievement() (rethon.StandardReflectiveEquilibrium method) add_argument() (tau.DAGBitarrayDialecticalStructure method) (tau.DAGNumpyDialecticalStructure method) (tau.DAGSetBasedDialecticalStructure method) (tau.DialecticalStructure method) add_arguments() (tau.DAGBitarrayDialecticalStructure method) (tau.DAGNumpyDialecticalStructure method) (tau.DAGSetBasedDialecticalStructure method) (tau.DialecticalStructure method) add_item() (rethon.AbstractEnsembleGenerator method) add_obj() (rethon.AbstractEnsembleGenerator method) add_step() (rethon.REState method) alternatives (rethon.REState attribute) are_compatible() (tau.BDDNumpyDialecticalStructure method) (tau.DAGBitarrayDialecticalStructure method) (tau.DAGNumpyDialecticalStructure method) (tau.DAGSetBasedDialecticalStructure method) (tau.DialecticalStructure method) are_minimally_compatible() (tau.BitarrayPosition method) (tau.NumpyPosition method) (tau.Position method) (tau.SetBasedPosition method) arg_to_cnf() (in module tau.util)

args2cnf() (in module tau.util) as_bitarray() (tau.BitarrayPosition method) (tau.NumpyPosition method) (tau.Position method) (tau.SetBasedPosition method) as_dict() (rethon.REState method) as_list() (tau.BitarrayPosition method) (tau.NumpyPosition method) (tau.Position method) (tau.SetBasedPosition method) as_np_array() (tau.NumpyPosition static method) as_set() (tau.BitarrayPosition method) (tau.NumpyPosition method) (tau.Position method) (tau.SetBasedPosition method) as_setbased_position() (tau.SetBasedPosition static method) as_ternary() (tau.BitarrayPosition method) (tau.NumpyPosition method) (tau.Position method) (tau.SetBasedPosition method) axioms() (tau.BDDNumpyDialecticalStructure method) (tau.DAGBitarrayDialecticalStructure method) (tau.DAGNumpyDialecticalStructure method) (tau.DAGSetBasedDialecticalStructure method) (tau.DialecticalStructure method)

B

BDDNumpyDialecticalStructure (class in tau)

BitarrayPosition (class in tau)

C

closed_positions() (tau.DAGBitarrayDialecticalStructure method) (tau.DAGNumpyDialecticalStructure method) (tau.DAGSetBasedDialecticalStructure method) (tau.DialecticalStructure method) closure() (tau.BDDNumpyDialecticalStructure method) (tau.DAGBitarrayDialecticalStructure method) (tau.DAGNumpyDialecticalStructure method) (tau.DAGSetBasedDialecticalStructure method) (tau.DialecticalStructure method) commitment_candidates() (rethon.GlobalReflectiveEquilibrium method) (rethon.LocalReflectiveEquilibrium method) (rethon.ReflectiveEquilibrium method) commitments_evolution() (rethon.REState method) complete_extensions() (tau.DAGBitarrayDialecticalStructure method) (tau.DAGNumpyDialecticalStructure method)

complete_minimally_consistent_positions() (tau.DAGSetBasedDialecticalStructure method) compute_complete_consistent_positions() (tau.DAGSetBasedDialecticalStructure method) consistent_complete_positions() (tau.BDDNumpyDialecticalStructure method) (tau.DAGBitarrayDialecticalStructure method) (tau.DAGNumpyDialecticalStructure method) (tau.DAGSetBasedDialecticalStructure method) (tau.DialecticalStructure method) consistent_positions() (tau.BDDNumpyDialecticalStructure method) (tau.DAGBitarrayDialecticalStructure method) (tau.DAGNumpyDialecticalStructure method) (tau.DAGSetBasedDialecticalStructure method) (tau.DialecticalStructure method) create_random_argument_list() (in module tau.util) create_random_arguments() (in module tau.util)

D

DAGBitarrayDialecticalStructure (class in tau) DAGNumpyDialecticalStructure (class in tau) DAGSetBasedDialecticalStructure (class in tau) default() (rethon.util.RethonJSONEncoder method) (tau.util.TauJSONEncoder method) default_model_parameters() (rethon.LocalReflectiveEquilibrium static method) (rethon.ReflectiveEquilibrium static method) (rethon.StandardReflectiveEquilibrium static method) degree_of_justification() (tau.BDDNumpyDialecticalStructure method) (tau.DAGBitarrayDialecticalStructure method) (tau.DAGNumpyDialecticalStructure method) (tau.DAGSetBasedDialecticalStructure method) (tau.DialecticalStructure method)

dialectical_structure() (rethon.AbstractEnsembleGenerator method) (rethon.ReflectiveEquilibrium method) DialecticalStructure (class in tau) difference() (tau.SetBasedPosition method) direct_subpositions() (tau.BitarrayPosition method) (tau.NumpyPosition method) domain() (tau.BitarrayPosition method) (tau.NumpyPosition method) (tau.Position method) (tau.SetBasedPosition method)

E

ensemble_items_iter() (rethon.AbstractEnsembleGenerator method) ensemble_items_to_csv() (rethon.AbstractEnsembleGenerator method) (rethon.MultiAgentEnsemblesGenerator method) ensemble_iter() (rethon.AbstractEnsembleGenerator method) (rethon.EnsembleGenerator method) (rethon.MultiAgentEnsemblesGenerator method) ensemble_states() (rethon.AbstractEnsembleGenerator method)

EnsembleGenerator (class in rethon) entails() (tau.BDDNumpyDialecticalStructure method) (tau.DAGBitarrayDialecticalStructure method) (tau.DAGNumpyDialecticalStructure method) (tau.DAGSetBasedDialecticalStructure method) (tau.DialecticalStructure method) evolution (rethon.REState attribute)

F

faithfulness() (rethon.StandardReflectiveEquilibrium method) finished (rethon.REState attribute) finished() (rethon.ReflectiveEquilibrium method) (rethon.StandardReflectiveEquilibrium method) first_theory() (rethon.LocalNumpyReflectiveEquilibrium method) (rethon.LocalReflectiveEquilibrium method) from_arguments() (tau.BDDNumpyDialecticalStructure static method) (tau.DAGBitarrayDialecticalStructure static method) (tau.DAGNumpyDialecticalStructure static method) (tau.DAGSetBasedDialecticalStructure static method) (tau.DialecticalStructure static method)

from_dict() (rethon.REState static method) from_set() (tau.BitarrayPosition static method) (tau.NumpyPosition static method) (tau.Position static method) (tau.SetBasedPosition static method) FullBranchREContainer (class in rethon)

G

get_arguments() (tau.DAGBitarrayDialecticalStructure method) (tau.DAGNumpyDialecticalStructure method) (tau.DAGSetBasedDialecticalStructure method) (tau.DialecticalStructure method) get_item() (rethon.AbstractEnsembleGenerator method) get_obj() (rethon.AbstractEnsembleGenerator method)

get_principles() (in module tau.util) global_optima() (rethon.GlobalReflectiveEquilibrium method) GlobalBitarrayReflectiveEquilibrium (class in rethon) GlobalNumpyReflectiveEquilibrium (class in rethon) GlobalREEnsembleGenerator (class in rethon) GlobalReflectiveEquilibrium (class in rethon) GlobalSetBasedReflectiveEquilibrium (class in rethon)

H

hamming_distance() (rethon.GlobalBitarrayReflectiveEquilibrium method) (rethon.NumpyReflectiveEquilibrium method) (rethon.StandardReflectiveEquilibrium method)

I

indices_of_non_empty_alternatives() (rethon.REState method) inferential_density() (in module tau.util) init_ensemble_fields() (rethon.AbstractEnsembleGenerator method) (rethon.MultiAgentEnsemblesGenerator method) (rethon.SimpleEnsembleGenerator method) init_re_final_fields() (rethon.AbstractEnsembleGenerator method) (rethon.GlobalREEnsembleGenerator method) init_re_start_fields() (rethon.AbstractEnsembleGenerator method) (rethon.GlobalREEnsembleGenerator method) (rethon.SimpleEnsembleGenerator method) (rethon.SimpleMultiAgentEnsemblesGenerator method) init_tau_fields() (rethon.AbstractEnsembleGenerator method) (rethon.SimpleEnsembleGenerator method) (rethon.SimpleMultiAgentEnsemblesGenerator method) initial_commitments() (rethon.AbstractEnsembleGenerator method) (rethon.REState method) intersection() (tau.BitarrayPosition static method) (tau.NumpyPosition static method) (tau.Position static method) (tau.SetBasedPosition static method) is_accepting() (tau.BitarrayPosition method) (tau.NumpyPosition method) (tau.Position method) (tau.SetBasedPosition method) is_closed() (tau.DAGBitarrayDialecticalStructure method) (tau.DAGNumpyDialecticalStructure method) (tau.DAGSetBasedDialecticalStructure method) (tau.DialecticalStructure method)

is_complete() (tau.DAGBitarrayDialecticalStructure method) (tau.DAGNumpyDialecticalStructure method) (tau.DAGSetBasedDialecticalStructure method) (tau.DialecticalStructure method) is_consistent() (tau.BDDNumpyDialecticalStructure method) (tau.DAGBitarrayDialecticalStructure method) (tau.DAGNumpyDialecticalStructure method) (tau.DAGSetBasedDialecticalStructure method) (tau.DialecticalStructure method) is_dirty() (rethon.ReflectiveEquilibrium method) is_in_domain() (tau.BitarrayPosition method) (tau.NumpyPosition method) (tau.Position method) (tau.SetBasedPosition method) is_minimal() (tau.DAGBitarrayDialecticalStructure method) (tau.DAGNumpyDialecticalStructure method) (tau.DAGSetBasedDialecticalStructure method) (tau.DialecticalStructure method) is_minimally_consistent() (tau.BitarrayPosition method) (tau.NumpyPosition method) (tau.Position method) (tau.SetBasedPosition method) is_satisfiable() (in module tau.util) is_subposition() (tau.BitarrayPosition method) (tau.NumpyPosition method) (tau.Position method) (tau.SetBasedPosition method)

L

last_alternatives() (rethon.REState method) last_commitments() (rethon.REState method) last_step() (rethon.REState method) last_theory() (rethon.REState method)

load_dialectical_structure() (in module tau.util) local_re_model_params_varied_alphas() (in module rethon.util) LocalNumpyReflectiveEquilibrium (class in rethon) LocalREEnsembleGenerator (class in rethon) LocalReflectiveEquilibrium (class in rethon)

M

max_branches (rethon.FullBranchREContainer attribute) max_re_length (rethon.FullBranchREContainer attribute) minimal_positions() (tau.DAGBitarrayDialecticalStructure method) (tau.DAGNumpyDialecticalStructure method) (tau.DAGSetBasedDialecticalStructure method) (tau.DialecticalStructure method) minimally_consistent_positions() (tau.BDDNumpyDialecticalStructure method) (tau.DAGBitarrayDialecticalStructure method) (tau.DAGNumpyDialecticalStructure method) (tau.DAGSetBasedDialecticalStructure method) (tau.DialecticalStructure method)

model_name() (rethon.ReflectiveEquilibrium method) model_parameter() (rethon.ReflectiveEquilibrium method) model_parameter_names() (rethon.ReflectiveEquilibrium method) model_parameters() (rethon.ReflectiveEquilibrium method) model_parameters_set_to_default() (rethon.LocalReflectiveEquilibrium method) (rethon.ReflectiveEquilibrium method) (rethon.StandardReflectiveEquilibrium method) module rethon.util tau.util MultiAgentEnsemblesGenerator (class in rethon)

N

n_complete_extensions() (tau.BDDNumpyDialecticalStructure method) (tau.DAGBitarrayDialecticalStructure method) (tau.DAGNumpyDialecticalStructure method) (tau.DAGSetBasedDialecticalStructure method) (tau.DialecticalStructure method) neighbours() (tau.BitarrayPosition method) (tau.NumpyPosition method) (tau.Position method) (tau.SetBasedPosition method)

next_step() (rethon.ReflectiveEquilibrium method) next_step_is_theory() (rethon.REState method) np_neighbours() (tau.NumpyPosition static method) number_of_complete_consistent_positions() (in module tau.util) NumpyPosition (class in tau) NumpyReflectiveEquilibrium (class in rethon)

P

past() (rethon.REState method) past_commitments() (rethon.REState method) past_step() (rethon.REState method) past_theory() (rethon.REState method) penalty() (rethon.GlobalBitarrayReflectiveEquilibrium method) (rethon.GlobalSetBasedReflectiveEquilibrium method) (rethon.NumpyReflectiveEquilibrium method) (rethon.StandardReflectiveEquilibrium method)

pick_commitment_candidate() (rethon.ReflectiveEquilibrium method) (rethon.StandardReflectiveEquilibrium method) pick_theory_candidate() (rethon.ReflectiveEquilibrium method) (rethon.StandardReflectiveEquilibrium method) pos_to_expr() (tau.BDDNumpyDialecticalStructure method) Position (class in tau)

R

random_dialectical_structures() (in module tau.util) random_position_as_set() (in module tau.util) random_positions() (in module tau.util) re_from_text_file() (in module rethon.util) re_process() (rethon.ReflectiveEquilibrium method) re_processes() (rethon.FullBranchREContainer method) (rethon.REContainer method) (rethon.SimpleMultiAgentREContainer method) re_weight_variations() (in module rethon.util) REContainer (class in rethon) reflective_equilibrium() (rethon.AbstractEnsembleGenerator method) ReflectiveEquilibrium (class in rethon)

remove_item() (rethon.AbstractEnsembleGenerator method) reset_model_parameters() (rethon.ReflectiveEquilibrium method) REState (class in rethon) result_states() (rethon.FullBranchREContainer method) rethon.util module rethon_decoder() (in module rethon.util) rethon_dump() (in module rethon.util) rethon_dumps() (in module rethon.util) rethon_load() (in module rethon.util) rethon_loads() (in module rethon.util) RethonJSONEncoder (class in rethon.util)

S

satisfies() (tau.DAGBitarrayDialecticalStructure method) (tau.DAGNumpyDialecticalStructure method) save_dialectical_structure() (in module tau.util) sentence_pool() (tau.BitarrayPosition method) (tau.DAGBitarrayDialecticalStructure method) (tau.DAGNumpyDialecticalStructure method) (tau.DAGSetBasedDialecticalStructure method) (tau.DialecticalStructure method) (tau.NumpyPosition method) (tau.Position method) (tau.SetBasedPosition method) set_dialectical_structure() (rethon.ReflectiveEquilibrium method) set_dirty() (rethon.ReflectiveEquilibrium method) set_initial_state() (rethon.ReflectiveEquilibrium method) set_model_parameters() (rethon.ReflectiveEquilibrium method) set_state() (rethon.ReflectiveEquilibrium method) SetBasedPosition (class in tau)

SimpleEnsembleGenerator (class in rethon) SimpleMultiAgentEnsemblesGenerator (class in rethon) SimpleMultiAgentREContainer (class in rethon) size() (tau.BitarrayPosition method) (tau.NumpyPosition method) (tau.Position method) (tau.SetBasedPosition method) standard_model_params_varied_alphas() (in module rethon.util) StandardGlobalReflectiveEquilibrium (class in rethon) StandardLocalReflectiveEquilibrium (class in rethon) StandardReflectiveEquilibrium (class in rethon) state() (rethon.AbstractEnsembleGenerator method) (rethon.ReflectiveEquilibrium method) subpositions() (tau.BitarrayPosition method) (tau.NumpyPosition method) (tau.Position method) (tau.SetBasedPosition method) systematicity() (rethon.StandardReflectiveEquilibrium method)

T

tau.util module tau_decoder() (in module tau.util) tau_dump() (in module tau.util) tau_dumps() (in module tau.util) tau_load() (in module tau.util) tau_loads() (in module tau.util)

TauJSONEncoder (class in tau.util) theory_candidates() (rethon.GlobalReflectiveEquilibrium method) (rethon.LocalReflectiveEquilibrium method) (rethon.ReflectiveEquilibrium method) theory_evolution() (rethon.REState method) time_line (rethon.REState attribute) to_bitarray_position() (tau.DAGBitarrayDialecticalStructure method) to_numpy_position() (tau.NumpyPosition static method)

U

union() (tau.BitarrayPosition static method) (tau.NumpyPosition static method) (tau.Position static method) (tau.SetBasedPosition static method)

update() (rethon.GlobalReflectiveEquilibrium method) (rethon.ReflectiveEquilibrium method)

V

varied_alphas() (in module rethon.util)

W

write_as_dot() (in module tau.util)

write_as_tex() (in module tau.util)