API Documentation

• Abstract Base Classes
  • Position
    • Position
      • Position.__init__()
      • Position.as_bitarray()
      • Position.as_list()
      • Position.as_set()
      • Position.as_ternary()
      • Position.difference()
      • Position.domain()
      • Position.from_set()
      • Position.intersection()
      • Position.is_accepting()
      • Position.is_in_domain()
      • Position.is_minimally_compatible()
      • Position.is_minimally_consistent()
      • Position.is_subposition()
      • Position.neighbours()
      • Position.sentence_pool()
      • Position.size()
      • Position.subpositions()
      • Position.union()
  • DialecticalStructure
    • DialecticalStructure
      • DialecticalStructure.add_argument()
      • DialecticalStructure.add_arguments()
      • DialecticalStructure.are_compatible()
      • DialecticalStructure.axioms()
      • DialecticalStructure.closed_positions()
      • DialecticalStructure.closure()
      • DialecticalStructure.consistent_complete_positions()
      • DialecticalStructure.consistent_positions()
      • DialecticalStructure.degree_of_justification()
      • DialecticalStructure.entails()
      • DialecticalStructure.from_arguments()
      • DialecticalStructure.get_arguments()
      • DialecticalStructure.get_name()
      • DialecticalStructure.is_closed()
      • DialecticalStructure.is_complete()
      • DialecticalStructure.is_consistent()
      • DialecticalStructure.is_minimal()
      • DialecticalStructure.minimal_positions()
      • DialecticalStructure.minimally_consistent_positions()
      • DialecticalStructure.n_complete_extensions()
      • DialecticalStructure.sentence_pool()
      • DialecticalStructure.set_name()
• Numpy Implementation
  • NumpyPosition
    • NumpyPosition
      • NumpyPosition.__init__()
      • NumpyPosition.as_bitarray()
      • NumpyPosition.as_list()
      • NumpyPosition.as_np_array()
      • NumpyPosition.as_set()
      • NumpyPosition.as_ternary()
      • NumpyPosition.difference()
      • NumpyPosition.direct_subpositions()
      • NumpyPosition.domain()
      • NumpyPosition.from_set()
      • NumpyPosition.intersection()
      • NumpyPosition.is_accepting()
      • NumpyPosition.is_in_domain()
      • NumpyPosition.is_minimally_compatible()
      • NumpyPosition.is_minimally_consistent()
      • NumpyPosition.is_subposition()
      • NumpyPosition.neighbours()
      • NumpyPosition.sentence_pool()
      • NumpyPosition.size()
      • NumpyPosition.subpositions()
      • NumpyPosition.to_numpy_position()
      • NumpyPosition.union()
  • DAGNumpyDialecticalStructure
    • DAGNumpyDialecticalStructure
      • DAGNumpyDialecticalStructure.__init__()
      • DAGNumpyDialecticalStructure.add_argument()
      • DAGNumpyDialecticalStructure.add_arguments()
      • DAGNumpyDialecticalStructure.are_compatible()
      • DAGNumpyDialecticalStructure.axioms()
      • DAGNumpyDialecticalStructure.closed_positions()
      • DAGNumpyDialecticalStructure.closure()
      • DAGNumpyDialecticalStructure.complete_minimally_consistent_positions()
      • DAGNumpyDialecticalStructure.consistent_complete_positions()
      • DAGNumpyDialecticalStructure.consistent_positions()
      • DAGNumpyDialecticalStructure.degree_of_justification()
      • DAGNumpyDialecticalStructure.entails()
      • DAGNumpyDialecticalStructure.from_arguments()
      • DAGNumpyDialecticalStructure.get_arguments()
      • DAGNumpyDialecticalStructure.get_name()
      • DAGNumpyDialecticalStructure.is_closed()
      • DAGNumpyDialecticalStructure.is_complete()
      • DAGNumpyDialecticalStructure.is_consistent()
      • DAGNumpyDialecticalStructure.is_minimal()
      • DAGNumpyDialecticalStructure.minimal_positions()
      • DAGNumpyDialecticalStructure.minimally_consistent_positions()
      • DAGNumpyDialecticalStructure.n_complete_extensions()
      • DAGNumpyDialecticalStructure.sentence_pool()
      • DAGNumpyDialecticalStructure.set_name()
  • BDDNumpyDialecticalStructure
    • BDDNumpyDialecticalStructure
      • BDDNumpyDialecticalStructure.__init__()
      • BDDNumpyDialecticalStructure.are_compatible()
      • BDDNumpyDialecticalStructure.axioms()
      • BDDNumpyDialecticalStructure.closure()
      • BDDNumpyDialecticalStructure.complete_minimally_consistent_positions()
      • BDDNumpyDialecticalStructure.consistent_complete_positions()
      • BDDNumpyDialecticalStructure.consistent_positions()
      • BDDNumpyDialecticalStructure.degree_of_justification()
      • BDDNumpyDialecticalStructure.entails()
      • BDDNumpyDialecticalStructure.from_arguments()
      • BDDNumpyDialecticalStructure.get_name()
      • BDDNumpyDialecticalStructure.is_consistent()
      • BDDNumpyDialecticalStructure.minimally_consistent_positions()
      • BDDNumpyDialecticalStructure.n_complete_extensions()
      • BDDNumpyDialecticalStructure.name
      • BDDNumpyDialecticalStructure.set_name()
• Bitarray Implementation
  • BitarrayPosition
    • BitarrayPosition
      • BitarrayPosition.__init__()
      • BitarrayPosition.as_bitarray()
      • BitarrayPosition.as_list()
      • BitarrayPosition.as_set()
      • BitarrayPosition.as_ternary()
      • BitarrayPosition.difference()
      • BitarrayPosition.domain()
      • BitarrayPosition.from_set()
      • BitarrayPosition.intersection()
      • BitarrayPosition.is_accepting()
      • BitarrayPosition.is_in_domain()
      • BitarrayPosition.is_minimally_compatible()
      • BitarrayPosition.is_minimally_consistent()
      • BitarrayPosition.is_subposition()
      • BitarrayPosition.neighbours()
      • BitarrayPosition.sentence_pool()
      • BitarrayPosition.size()
      • BitarrayPosition.subpositions()
      • BitarrayPosition.union()
  • DAGBitarrayDialecticalStructure
    • DAGBitarrayDialecticalStructure
      • DAGBitarrayDialecticalStructure.__init__()
      • DAGBitarrayDialecticalStructure.add_argument()
      • DAGBitarrayDialecticalStructure.add_arguments()
      • DAGBitarrayDialecticalStructure.are_compatible()
      • DAGBitarrayDialecticalStructure.axioms()
      • DAGBitarrayDialecticalStructure.closed_positions()
      • DAGBitarrayDialecticalStructure.closure()
      • DAGBitarrayDialecticalStructure.complete_extensions()
      • DAGBitarrayDialecticalStructure.complete_minimally_consistent_positions()
      • DAGBitarrayDialecticalStructure.consistent_complete_positions()
      • DAGBitarrayDialecticalStructure.consistent_positions()
      • DAGBitarrayDialecticalStructure.degree_of_justification()
      • DAGBitarrayDialecticalStructure.entails()
      • DAGBitarrayDialecticalStructure.from_arguments()
      • DAGBitarrayDialecticalStructure.get_arguments()
      • DAGBitarrayDialecticalStructure.get_name()
      • DAGBitarrayDialecticalStructure.is_closed()
      • DAGBitarrayDialecticalStructure.is_complete()
      • DAGBitarrayDialecticalStructure.is_consistent()
      • DAGBitarrayDialecticalStructure.is_minimal()
      • DAGBitarrayDialecticalStructure.minimal_positions()
      • DAGBitarrayDialecticalStructure.minimally_consistent_positions()
      • DAGBitarrayDialecticalStructure.n_complete_extensions()
      • DAGBitarrayDialecticalStructure.sentence_pool()
      • DAGBitarrayDialecticalStructure.set_name()
      • DAGBitarrayDialecticalStructure.to_bitarray_position()
• Set Based Implementation
  • SetBasedPosition
    • SetBasedPosition
      • SetBasedPosition.__init__()
      • SetBasedPosition.as_bitarray()
      • SetBasedPosition.as_list()
      • SetBasedPosition.as_set()
      • SetBasedPosition.as_setbased_position()
      • SetBasedPosition.as_ternary()
      • SetBasedPosition.difference()
      • SetBasedPosition.domain()
      • SetBasedPosition.from_set()
      • SetBasedPosition.intersection()
      • SetBasedPosition.is_accepting()
      • SetBasedPosition.is_in_domain()
      • SetBasedPosition.is_minimally_compatible()
      • SetBasedPosition.is_minimally_consistent()
      • SetBasedPosition.is_subposition()
      • SetBasedPosition.neighbours()
      • SetBasedPosition.sentence_pool()
      • SetBasedPosition.size()
      • SetBasedPosition.subpositions()
      • SetBasedPosition.union()
  • DAGSetBasedDialecticalStructure
    • DAGSetBasedDialecticalStructure
      • DAGSetBasedDialecticalStructure.__init__()
      • DAGSetBasedDialecticalStructure.add_argument()
      • DAGSetBasedDialecticalStructure.add_arguments()
      • DAGSetBasedDialecticalStructure.are_compatible()
      • DAGSetBasedDialecticalStructure.axioms()
      • DAGSetBasedDialecticalStructure.closed_positions()
      • DAGSetBasedDialecticalStructure.closure()
      • DAGSetBasedDialecticalStructure.complete_minimally_consistent_positions()
      • DAGSetBasedDialecticalStructure.compute_complete_consistent_positions()
      • DAGSetBasedDialecticalStructure.consistent_complete_positions()
      • DAGSetBasedDialecticalStructure.consistent_positions()
      • DAGSetBasedDialecticalStructure.degree_of_justification()
      • DAGSetBasedDialecticalStructure.entails()
      • DAGSetBasedDialecticalStructure.from_arguments()
      • DAGSetBasedDialecticalStructure.get_arguments()
      • DAGSetBasedDialecticalStructure.get_name()
      • DAGSetBasedDialecticalStructure.is_closed()
      • DAGSetBasedDialecticalStructure.is_complete()
      • DAGSetBasedDialecticalStructure.is_consistent()
      • DAGSetBasedDialecticalStructure.is_minimal()
      • DAGSetBasedDialecticalStructure.minimal_positions()
      • DAGSetBasedDialecticalStructure.minimally_consistent_positions()
      • DAGSetBasedDialecticalStructure.n_complete_extensions()
      • DAGSetBasedDialecticalStructure.sentence_pool()
      • DAGSetBasedDialecticalStructure.set_name()
• Utility Methods
  • TauJSONEncoder
    • TauJSONEncoder.__init__()
    • TauJSONEncoder.default()
  • arg_to_cnf()
  • args_to_cnf()
  • create_random_argument_list()
  • create_random_arguments()
  • get_principles()
  • inferential_density()
  • is_satisfiable()
  • number_of_complete_consistent_positions()
  • random_dialectical_structures()
  • random_position_as_set()
  • random_positions()
  • tau_decoder()
  • tau_dump()
  • tau_dumps()
  • tau_load()
  • tau_loads()
  • write_as_dot()
  • write_as_tex()