Index _ | A | B | C | D | E | F | G | I | M | N | P | R | S | T | U | W _ __init__() (theodias.BDDNumpyDialecticalStructure method) (theodias.BitarrayPosition method) (theodias.DAGBitarrayDialecticalStructure method) (theodias.DAGNumpyDialecticalStructure method) (theodias.DAGSetBasedDialecticalStructure method) (theodias.NumpyPosition method) (theodias.Position method) (theodias.SetBasedPosition method) (theodias.util.TauJSONEncoder method) A add_argument() (theodias.DAGBitarrayDialecticalStructure method) (theodias.DAGNumpyDialecticalStructure method) (theodias.DAGSetBasedDialecticalStructure method) (theodias.DialecticalStructure method) add_arguments() (theodias.DAGBitarrayDialecticalStructure method) (theodias.DAGNumpyDialecticalStructure method) (theodias.DAGSetBasedDialecticalStructure method) (theodias.DialecticalStructure method) are_compatible() (theodias.BDDNumpyDialecticalStructure method) (theodias.DAGBitarrayDialecticalStructure method) (theodias.DAGNumpyDialecticalStructure method) (theodias.DAGSetBasedDialecticalStructure method) (theodias.DialecticalStructure method) arg_to_cnf() (in module theodias.util) args_to_cnf() (in module theodias.util) as_bitarray() (theodias.BitarrayPosition method) (theodias.NumpyPosition method) (theodias.Position method) (theodias.SetBasedPosition method) as_list() (theodias.BitarrayPosition method) (theodias.NumpyPosition method) (theodias.Position method) (theodias.SetBasedPosition method) as_np_array() (theodias.NumpyPosition static method) as_set() (theodias.BitarrayPosition method) (theodias.NumpyPosition method) (theodias.Position method) (theodias.SetBasedPosition method) as_setbased_position() (theodias.SetBasedPosition static method) as_ternary() (theodias.BitarrayPosition method) (theodias.NumpyPosition method) (theodias.Position method) (theodias.SetBasedPosition method) axioms() (theodias.BDDNumpyDialecticalStructure method) (theodias.DAGBitarrayDialecticalStructure method) (theodias.DAGNumpyDialecticalStructure method) (theodias.DAGSetBasedDialecticalStructure method) (theodias.DialecticalStructure method) B BDDNumpyDialecticalStructure (class in theodias) BitarrayPosition (class in theodias) C closed_positions() (theodias.DAGBitarrayDialecticalStructure method) (theodias.DAGNumpyDialecticalStructure method) (theodias.DAGSetBasedDialecticalStructure method) (theodias.DialecticalStructure method) closure() (theodias.BDDNumpyDialecticalStructure method) (theodias.DAGBitarrayDialecticalStructure method) (theodias.DAGNumpyDialecticalStructure method) (theodias.DAGSetBasedDialecticalStructure method) (theodias.DialecticalStructure method) complete_extensions() (theodias.DAGBitarrayDialecticalStructure method) complete_minimally_consistent_positions() (theodias.BDDNumpyDialecticalStructure method) (theodias.DAGBitarrayDialecticalStructure method) (theodias.DAGNumpyDialecticalStructure method) (theodias.DAGSetBasedDialecticalStructure method) compute_complete_consistent_positions() (theodias.DAGSetBasedDialecticalStructure method) consistent_complete_positions() (theodias.BDDNumpyDialecticalStructure method) (theodias.DAGBitarrayDialecticalStructure method) (theodias.DAGNumpyDialecticalStructure method) (theodias.DAGSetBasedDialecticalStructure method) (theodias.DialecticalStructure method) consistent_positions() (theodias.BDDNumpyDialecticalStructure method) (theodias.DAGBitarrayDialecticalStructure method) (theodias.DAGNumpyDialecticalStructure method) (theodias.DAGSetBasedDialecticalStructure method) (theodias.DialecticalStructure method) create_random_argument_list() (in module theodias.util) create_random_arguments() (in module theodias.util) D DAGBitarrayDialecticalStructure (class in theodias) DAGNumpyDialecticalStructure (class in theodias) DAGSetBasedDialecticalStructure (class in theodias) default() (theodias.util.TauJSONEncoder method) degree_of_justification() (theodias.BDDNumpyDialecticalStructure method) (theodias.DAGBitarrayDialecticalStructure method) (theodias.DAGNumpyDialecticalStructure method) (theodias.DAGSetBasedDialecticalStructure method) (theodias.DialecticalStructure method) DialecticalStructure (class in theodias) difference() (theodias.BitarrayPosition method) (theodias.NumpyPosition method) (theodias.Position method) (theodias.SetBasedPosition method) direct_subpositions() (theodias.NumpyPosition method) domain() (theodias.BitarrayPosition method) (theodias.NumpyPosition method) (theodias.Position method) (theodias.SetBasedPosition method) E entails() (theodias.BDDNumpyDialecticalStructure method) (theodias.DAGBitarrayDialecticalStructure method) (theodias.DAGNumpyDialecticalStructure method) (theodias.DAGSetBasedDialecticalStructure method) (theodias.DialecticalStructure method) F from_arguments() (theodias.BDDNumpyDialecticalStructure static method) (theodias.DAGBitarrayDialecticalStructure static method) (theodias.DAGNumpyDialecticalStructure static method) (theodias.DAGSetBasedDialecticalStructure static method) (theodias.DialecticalStructure static method) from_set() (theodias.BitarrayPosition static method) (theodias.NumpyPosition static method) (theodias.Position static method) (theodias.SetBasedPosition static method) G get_arguments() (theodias.DAGBitarrayDialecticalStructure method) (theodias.DAGNumpyDialecticalStructure method) (theodias.DAGSetBasedDialecticalStructure method) (theodias.DialecticalStructure method) get_name() (theodias.BDDNumpyDialecticalStructure method) (theodias.DAGBitarrayDialecticalStructure method) (theodias.DAGNumpyDialecticalStructure method) (theodias.DAGSetBasedDialecticalStructure method) (theodias.DialecticalStructure method) get_principles() (in module theodias.util) I inferential_density() (in module theodias.util) intersection() (theodias.BitarrayPosition method) (theodias.NumpyPosition method) (theodias.Position method) (theodias.SetBasedPosition method) is_accepting() (theodias.BitarrayPosition method) (theodias.NumpyPosition method) (theodias.Position method) (theodias.SetBasedPosition method) is_closed() (theodias.DAGBitarrayDialecticalStructure method) (theodias.DAGNumpyDialecticalStructure method) (theodias.DAGSetBasedDialecticalStructure method) (theodias.DialecticalStructure method) is_complete() (theodias.DAGBitarrayDialecticalStructure method) (theodias.DAGNumpyDialecticalStructure method) (theodias.DAGSetBasedDialecticalStructure method) (theodias.DialecticalStructure method) is_consistent() (theodias.BDDNumpyDialecticalStructure method) (theodias.DAGBitarrayDialecticalStructure method) (theodias.DAGNumpyDialecticalStructure method) (theodias.DAGSetBasedDialecticalStructure method) (theodias.DialecticalStructure method) is_in_domain() (theodias.BitarrayPosition method) (theodias.NumpyPosition method) (theodias.Position method) (theodias.SetBasedPosition method) is_minimal() (theodias.DAGBitarrayDialecticalStructure method) (theodias.DAGNumpyDialecticalStructure method) (theodias.DAGSetBasedDialecticalStructure method) (theodias.DialecticalStructure method) is_minimally_compatible() (theodias.BitarrayPosition method) (theodias.NumpyPosition method) (theodias.Position method) (theodias.SetBasedPosition method) is_minimally_consistent() (theodias.BitarrayPosition method) (theodias.NumpyPosition method) (theodias.Position method) (theodias.SetBasedPosition method) is_satisfiable() (in module theodias.util) is_subposition() (theodias.BitarrayPosition method) (theodias.NumpyPosition method) (theodias.Position method) (theodias.SetBasedPosition method) M minimal_positions() (theodias.DAGBitarrayDialecticalStructure method) (theodias.DAGNumpyDialecticalStructure method) (theodias.DAGSetBasedDialecticalStructure method) (theodias.DialecticalStructure method) minimally_consistent_positions() (theodias.BDDNumpyDialecticalStructure method) (theodias.DAGBitarrayDialecticalStructure method) (theodias.DAGNumpyDialecticalStructure method) (theodias.DAGSetBasedDialecticalStructure method) (theodias.DialecticalStructure method) module theodias.util N n_complete_extensions() (theodias.BDDNumpyDialecticalStructure method) (theodias.DAGBitarrayDialecticalStructure method) (theodias.DAGNumpyDialecticalStructure method) (theodias.DAGSetBasedDialecticalStructure method) (theodias.DialecticalStructure method) name (theodias.BDDNumpyDialecticalStructure attribute) neighbours() (theodias.BitarrayPosition method) (theodias.NumpyPosition method) (theodias.Position method) (theodias.SetBasedPosition method) number_of_complete_consistent_positions() (in module theodias.util) NumpyPosition (class in theodias) P Position (class in theodias) R random_dialectical_structures() (in module theodias.util) random_position_as_set() (in module theodias.util) random_positions() (in module theodias.util) S sentence_pool() (theodias.BitarrayPosition method) (theodias.DAGBitarrayDialecticalStructure method) (theodias.DAGNumpyDialecticalStructure method) (theodias.DAGSetBasedDialecticalStructure method) (theodias.DialecticalStructure method) (theodias.NumpyPosition method) (theodias.Position method) (theodias.SetBasedPosition method) set_name() (theodias.BDDNumpyDialecticalStructure method) (theodias.DAGBitarrayDialecticalStructure method) (theodias.DAGNumpyDialecticalStructure method) (theodias.DAGSetBasedDialecticalStructure method) (theodias.DialecticalStructure method) SetBasedPosition (class in theodias) size() (theodias.BitarrayPosition method) (theodias.NumpyPosition method) (theodias.Position method) (theodias.SetBasedPosition method) subpositions() (theodias.BitarrayPosition method) (theodias.NumpyPosition method) (theodias.Position method) (theodias.SetBasedPosition method) T tau_decoder() (in module theodias.util) tau_dump() (in module theodias.util) tau_dumps() (in module theodias.util) tau_load() (in module theodias.util) tau_loads() (in module theodias.util) TauJSONEncoder (class in theodias.util) theodias.util module to_bitarray_position() (theodias.DAGBitarrayDialecticalStructure method) to_numpy_position() (theodias.NumpyPosition static method) U union() (theodias.BitarrayPosition method) (theodias.NumpyPosition method) (theodias.Position method) (theodias.SetBasedPosition method) W write_as_dot() (in module theodias.util) write_as_tex() (in module theodias.util)