Index

A

abelian() (autstr.groups.IndexTwoCyclicGroups method) accepting() (autstr.implicit.ImplicitDFA method) (autstr.implicit.ImplicitTA method) accepts() (autstr.sparse_automata.SparseDFA method) (autstr.sparse_automata.SparseNFA method) (autstr.sparse_tree_automata.SparseTreeAutomaton method) accepts_batch() (autstr.sparse_automata.SparseDFA method) add() (autstr.algebra.Z1pLocalization method) AdditionETerm (class in autstr.arithmetic) advice() (autstr.algebra.FiniteBooleanAlgebras method) (autstr.cocycle_groups.CocycleRankWidthGroups method) (autstr.graphs.PathWidthClass method) (autstr.graphs.TreeDepthClass method) (autstr.groups.CutRankGroups method) (autstr.groups.ExtraspecialGroups method) (autstr.groups.FiniteAbelianGroups method) (autstr.groups.IndexTwoCyclicGroups method) (autstr.tree_graphs.CliqueWidthClass method) (autstr.tree_graphs.RankWidthClass method) (autstr.tree_graphs.TreeWidthClass method) (autstr.tree_groups.CutRankTreeGroups method) (autstr.tree_groups.TreeExtraspecialGroups method) alphabet_projection() (autstr.sparse_automata.SparseDFA method) apply1() (autstr.mtbdd.NodeStore method) apply2() (autstr.mtbdd.NodeStore method) arithmetic (autstr.arithmetic.Term attribute) attach_padding() (in module autstr.utils.tree_automata_tools) automatic_presentation_from_file() (autstr.presentations.AutomaticPresentation class method) automatic_presentation_to_file() (autstr.presentations.AutomaticPresentation method) AutomaticPresentation (class in autstr.presentations) AutomaticPresentationSerializer (class in autstr.presentations) autstr module autstr.algebra module autstr.arithmetic module autstr.buildin module autstr.buildin.automata module autstr.buildin.presentations module

autstr.buildin.tree_presentations module autstr.chain_ring module autstr.cocycle_groups module autstr.composition module autstr.graphs module autstr.groups module autstr.implicit module autstr.mtbdd module autstr.presentations module autstr.sparse_automata module autstr.sparse_tree_automata module autstr.tree_graphs module autstr.tree_groups module autstr.tree_presentations module autstr.tree_uniform module autstr.uniform module autstr.utils module autstr.utils.automata_tools module autstr.utils.logic module autstr.utils.misc module autstr.utils.tree_automata_tools module

B

balanced() (autstr.tree_groups.CutRankTreeGroups static method) BaseRATerm (class in autstr.arithmetic) BinaryRATerm (class in autstr.arithmetic) bits_of() (in module autstr.mtbdd) blocks() (in module autstr.composition)

BOT (autstr.sparse_tree_automata.SparseTreeAutomaton property) buechi_arithmetic() (in module autstr.buildin.presentations) buechi_arithmetic_Z() (in module autstr.buildin.presentations) BuechiArithmetic() (in module autstr.buildin.presentations) BuechiArithmeticZ() (in module autstr.buildin.presentations) build_rows() (autstr.mtbdd.NodeStore method)

C

caterpillar() (autstr.tree_graphs.RankWidthGraph static method) check() (autstr.algebra.FiniteBooleanAlgebras method) (autstr.algebra.Z1pLocalization method) (autstr.cocycle_groups.CocycleRankWidthGroups method) (autstr.groups.CutRankGroups method) (autstr.groups.ExtraspecialGroups method) (autstr.groups.FiniteAbelianGroups method) (autstr.groups.IndexTwoCyclicGroups method) (autstr.implicit.ImplicitClass method) (autstr.implicit.ImplicitTreeClass method) (autstr.presentations.AutomaticPresentation method) (autstr.tree_graphs.CliqueWidthClass method) (autstr.tree_graphs.RankWidthClass method) (autstr.tree_graphs.TreeWidthClass method) (autstr.tree_groups.CutRankTreeGroups method) (autstr.tree_groups.TreeExtraspecialGroups method) (autstr.tree_presentations.TreeAutomaticPresentation method) (autstr.tree_uniform.UniformlyTreeAutomaticClass method) (autstr.uniform.UniformlyAutomaticClass method) check_class_string() (in module autstr.implicit) check_class_tree() (in module autstr.implicit) check_implicit() (autstr.cocycle_groups.CocycleRankWidthGroups method) (autstr.groups.CutRankGroups method) (autstr.groups.ExtraspecialGroups method) (autstr.groups.FiniteAbelianGroups method) (autstr.groups.IndexTwoCyclicGroups method) (autstr.tree_graphs.RankWidthClass method) (autstr.tree_groups.CutRankTreeGroups method) (autstr.tree_groups.TreeExtraspecialGroups method) (autstr.tree_uniform.UniformlyTreeAutomaticClass method) (autstr.uniform.UniformlyAutomaticClass method) check_string() (in module autstr.implicit) check_tensor() (autstr.cocycle_groups.CocycleSites method) check_tree() (in module autstr.implicit) class_union() (in module autstr.composition)

clique() (autstr.tree_graphs.CliqueWidthGraph class method) (autstr.tree_graphs.RankWidthGraph class method) clique_form() (autstr.groups.CutRankGroups method) (autstr.tree_groups.CutRankTreeGroups method) CliqueWidthClass (class in autstr.tree_graphs) CliqueWidthGraph (class in autstr.tree_graphs) cls (autstr.cocycle_groups.CocycleRankWidthGroups property) (autstr.groups.CutRankGroups property) (autstr.tree_graphs.RankWidthClass property) (autstr.tree_groups.CutRankTreeGroups property) cmp_llex() (in module autstr.utils.misc) CocycleRankWidthGroups (class in autstr.cocycle_groups) CocycleSites (class in autstr.cocycle_groups) cofactor() (autstr.mtbdd.NodeStore method) collect() (autstr.mtbdd.NodeStore method) complement() (autstr.sparse_automata.SparseDFA method) (autstr.sparse_tree_automata.SparseTreeAutomaton method) (in module autstr.utils.misc) ComplementRATerm (class in autstr.arithmetic) complete_bipartite() (autstr.tree_graphs.CliqueWidthGraph class method) (autstr.tree_graphs.RankWidthGraph class method) compute() (autstr.sparse_automata.SparseDFA method) (autstr.sparse_automata.SparseNFA method) ComputedTable (class in autstr.mtbdd) const() (autstr.mtbdd.NodeStore method) ConstantETerm (class in autstr.arithmetic) convolve_trees() (in module autstr.sparse_tree_automata) create_sparse_dfa() (in module autstr.buildin.presentations) cut_matrix() (autstr.tree_graphs.RankWidthGraph method) cut_profile() (autstr.cocycle_groups.CocycleSites method) cut_width() (autstr.cocycle_groups.CocycleSites method) CutRankGroups (class in autstr.groups) CutRankTreeGroups (class in autstr.tree_groups) cycle() (autstr.tree_graphs.CliqueWidthGraph class method) (autstr.tree_graphs.RankWidthGraph class method) cyclic() (autstr.groups.IndexTwoCyclicGroups method)

D

decode() (autstr.buildin.tree_presentations.SkolemArithmetic class method) (autstr.cocycle_groups.CocycleRankWidthGroups method) (autstr.groups.CutRankGroups method) (autstr.tree_groups.CutRankTreeGroups method) decode_set() (autstr.tree_graphs.RankWidthGraph method) decode_symbol() (autstr.sparse_automata.SparseDFA method) (in module autstr.utils.misc) default_states (autstr.sparse_automata.SparseDFA property) define() (autstr.tree_uniform.UniformlyTreeAutomaticClass method) (autstr.uniform.UniformlyAutomaticClass method) dense_delta() (autstr.sparse_tree_automata.SparseTreeAutomaton method) dense_next() (autstr.sparse_automata.SparseDFA method) deserialize() (autstr.presentations.AutomaticPresentationSerializer class method) (autstr.sparse_automata.SparseDFASerializer class method)

determinize() (autstr.sparse_automata.SparseNFA method) dfa_atom() (in module autstr.implicit) dfa_complement() (in module autstr.implicit) dfa_from_delta() (in module autstr.uniform) dfa_product() (in module autstr.implicit) dfa_project() (in module autstr.implicit) dicyclic() (autstr.groups.IndexTwoCyclicGroups method) dihedral() (autstr.groups.IndexTwoCyclicGroups method) direct_product() (in module autstr.composition) direct_product_closure() (in module autstr.composition) disjoint_union() (in module autstr.composition) drop() (autstr.arithmetic.RelationalAlgebraTerm method) DropRATerm (class in autstr.arithmetic)

E

edges() (autstr.graphs.PathWidthGraph method) (autstr.graphs.StringGraph method) (autstr.graphs.TreeDepthGraph method) (autstr.tree_graphs.TreeWidthGraph method) element() (autstr.algebra.Z1pLocalization method) ElementaryTerm (class in autstr.arithmetic) encode() (autstr.algebra.FiniteBooleanAlgebras method) (autstr.algebra.Z1pLocalization method) (autstr.buildin.tree_presentations.SkolemArithmetic class method) (autstr.cocycle_groups.CocycleRankWidthGroups method) (autstr.groups.CutRankGroups method) (autstr.groups.ExtraspecialGroups method) (autstr.groups.FiniteAbelianGroups method) (autstr.groups.IndexTwoCyclicGroups method) (autstr.tree_groups.CutRankTreeGroups method) (autstr.tree_groups.TreeExtraspecialGroups method) encode_set() (autstr.graphs.StringGraph method) (autstr.tree_graphs.CliqueWidthGraph method) (autstr.tree_graphs.RankWidthGraph method) (autstr.tree_graphs.TreeWidthGraph method) encode_set_padded() (autstr.tree_graphs.RankWidthGraph method) encode_symbol() (autstr.sparse_automata.SparseDFA method) (in module autstr.buildin.presentations) (in module autstr.utils.misc) entry_letters (autstr.groups.CutRankGroups attribute) eq() (autstr.arithmetic.ElementaryTerm method) equals() (autstr.algebra.Z1pLocalization method) equivalent() (in module autstr.utils.tree_automata_tools) eval_batch() (autstr.mtbdd.NodeStore method) evaluate() (autstr.algebra.FiniteBooleanAlgebras method) (autstr.algebra.Z1pLocalization method) (autstr.arithmetic.ElementaryTerm method) (autstr.arithmetic.Term method) (autstr.cocycle_groups.CocycleRankWidthGroups method) (autstr.groups.CutRankGroups method) (autstr.groups.ExtraspecialGroups method) (autstr.groups.FiniteAbelianGroups method) (autstr.groups.IndexTwoCyclicGroups method) (autstr.implicit.ImplicitClass method) (autstr.implicit.ImplicitTreeClass method) (autstr.presentations.AutomaticPresentation method) (autstr.tree_graphs.CliqueWidthClass method) (autstr.tree_graphs.RankWidthClass method) (autstr.tree_graphs.TreeWidthClass method) (autstr.tree_groups.CutRankTreeGroups method) (autstr.tree_groups.TreeExtraspecialGroups method) (autstr.tree_presentations.TreeAutomaticPresentation method) (autstr.uniform.UniformlyAutomaticClass method)

evaluate_class_string() (in module autstr.implicit) evaluate_class_tree() (in module autstr.implicit) evaluate_implicit() (autstr.cocycle_groups.CocycleRankWidthGroups method) (autstr.groups.CutRankGroups method) (autstr.tree_graphs.RankWidthClass method) (autstr.tree_groups.CutRankTreeGroups method) (autstr.tree_uniform.UniformlyTreeAutomaticClass method) (autstr.uniform.UniformlyAutomaticClass method) ex() (autstr.arithmetic.RelationalAlgebraTerm method) exception_states (autstr.sparse_automata.SparseDFA property) exception_symbols (autstr.sparse_automata.SparseDFA property) exceptions() (autstr.sparse_tree_automata.SparseTreeAutomaton method) exinf() (autstr.arithmetic.RelationalAlgebraTerm method) ExInfRATerm (class in autstr.arithmetic) exp (autstr.algebra.Z1pElement attribute) expand() (in module autstr.utils.automata_tools) (in module autstr.utils.tree_automata_tools) export() (autstr.mtbdd.NodeStore method) ExtraspecialGroups (class in autstr.groups)

F

factor_two_sided() (in module autstr.chain_ring) FAMILY_SYMBOLS (autstr.groups.IndexTwoCyclicGroups attribute) fill_defaults() (autstr.sparse_automata.SparseDFA method) finite_powerset() (in module autstr.buildin.presentations) FiniteAbelianGroups (class in autstr.groups) FiniteBooleanAlgebras (class in autstr.algebra) fixed_k_sites() (in module autstr.cocycle_groups)

from_bytes() (autstr.sparse_automata.SparseDFASerializer class method) from_digits() (in module autstr.chain_ring) from_fraction() (autstr.algebra.Z1pLocalization method) from_networkx() (autstr.graphs.PathWidthGraph class method) (autstr.graphs.TreeDepthGraph class method) (autstr.tree_graphs.TreeWidthGraph class method) from_string_dfa() (in module autstr.utils.tree_automata_tools)

G

get() (autstr.mtbdd.ComputedTable method) get_free_elementary_vars() (in module autstr.utils.logic) get_name() (autstr.arithmetic.VariableETerm method) get_relation_symbols() (autstr.presentations.AutomaticPresentation method) (autstr.tree_presentations.TreeAutomaticPresentation method) (autstr.uniform.UniformlyAutomaticClass method) get_structure() (autstr.algebra.FiniteBooleanAlgebras method) (autstr.cocycle_groups.CocycleRankWidthGroups method) (autstr.groups.CutRankGroups method) (autstr.groups.ExtraspecialGroups method) (autstr.groups.FiniteAbelianGroups method) (autstr.groups.IndexTwoCyclicGroups method) (autstr.tree_graphs.CliqueWidthClass method) (autstr.tree_graphs.RankWidthClass method) (autstr.tree_graphs.TreeWidthClass method) (autstr.tree_groups.CutRankTreeGroups method) (autstr.tree_groups.TreeExtraspecialGroups method) (autstr.tree_uniform.UniformlyTreeAutomaticClass method) (autstr.uniform.UniformlyAutomaticClass method)

get_unique_id() (in module autstr.utils.misc) get_variables() (autstr.arithmetic.AdditionETerm method) (autstr.arithmetic.BaseRATerm method) (autstr.arithmetic.BinaryRATerm method) (autstr.arithmetic.ComplementRATerm method) (autstr.arithmetic.ConstantETerm method) (autstr.arithmetic.DropRATerm method) (autstr.arithmetic.ExInfRATerm method) (autstr.arithmetic.NegatedETerm method) (autstr.arithmetic.Term method) (autstr.arithmetic.VariableETerm method) gt() (autstr.arithmetic.ElementaryTerm method)

H

HEADER_FORMAT (autstr.presentations.AutomaticPresentationSerializer attribute) (autstr.sparse_automata.SparseDFASerializer attribute) HEADER_SIZE (autstr.presentations.AutomaticPresentationSerializer attribute) (autstr.sparse_automata.SparseDFASerializer attribute)

heapify_llex() (in module autstr.utils.misc) heappop_llex() (in module autstr.utils.misc) heappush_llex() (in module autstr.utils.misc) height (autstr.graphs.TreeDepthGraph property)

I

identity() (autstr.cocycle_groups.CocycleSites method) (autstr.groups.CutRankGroups method) (autstr.tree_groups.CutRankTreeGroups method) implicit_cls (autstr.cocycle_groups.CocycleRankWidthGroups property) (autstr.groups.CutRankGroups property) (autstr.tree_graphs.RankWidthClass property) (autstr.tree_groups.CutRankTreeGroups property) ImplicitClass (class in autstr.implicit) ImplicitDFA (class in autstr.implicit) ImplicitTA (class in autstr.implicit) ImplicitTreeClass (class in autstr.implicit) import_nodes() (autstr.mtbdd.NodeStore method) IndexTwoCyclicGroups (class in autstr.groups)

initial() (autstr.implicit.ImplicitDFA method) intersect_subtapes() (autstr.sparse_automata.SparseDFA method) intersection() (autstr.sparse_automata.SparseDFA method) (autstr.sparse_tree_automata.SparseTreeAutomaton method) IntersectionRATerm (class in autstr.arithmetic) inv_mod_pp() (in module autstr.chain_ring) is_empty() (autstr.sparse_automata.SparseDFA method) (autstr.sparse_tree_automata.SparseTreeAutomaton method) is_finite() (autstr.sparse_automata.SparseDFA method) is_terminal() (autstr.mtbdd.NodeStore method) is_unit() (in module autstr.chain_ring) isempty() (autstr.arithmetic.RelationalAlgebraTerm method) isfinite() (autstr.arithmetic.RelationalAlgebraTerm method) iterate_language() (in module autstr.utils.automata_tools)

K

k_longer_automaton() (in module autstr.buildin.automata)

keys (autstr.mtbdd.ComputedTable attribute)

L

label (autstr.sparse_tree_automata.Tree attribute) laminar_sites() (in module autstr.cocycle_groups) left (autstr.sparse_tree_automata.Tree attribute) length_automaton() (in module autstr.buildin.automata) LengthLexHeap (class in autstr.utils.automata_tools)

letter() (autstr.mtbdd.NodeStore method) LETTERS (autstr.buildin.tree_presentations.SkolemArithmetic attribute) letters (autstr.groups.CutRankGroups attribute) linear_cut_rank() (autstr.groups.CutRankGroups method) lsbf_Z_automaton() (in module autstr.utils.automata_tools) lt() (autstr.arithmetic.ElementaryTerm method)

M

MAGIC (autstr.presentations.AutomaticPresentationSerializer attribute) make() (autstr.mtbdd.NodeStore method) map_letters() (autstr.mtbdd.NodeStore method) MappedSolutions (class in autstr.implicit) MARKER (autstr.groups.CutRankGroups attribute) MARKERS (autstr.cocycle_groups.CocycleRankWidthGroups attribute) (autstr.tree_groups.CutRankTreeGroups attribute) mask (autstr.mtbdd.ComputedTable attribute) matching_form() (autstr.groups.CutRankGroups method) (autstr.tree_groups.CutRankTreeGroups method) max_exceptions (autstr.sparse_automata.SparseDFA property) METADATA_FORMAT (autstr.sparse_automata.SparseDFASerializer attribute) METADATA_SIZE (autstr.sparse_automata.SparseDFASerializer attribute) minimize() (autstr.sparse_automata.SparseDFA method) (in module autstr.utils.tree_automata_tools) modular() (autstr.groups.IndexTwoCyclicGroups method) module autstr autstr.algebra autstr.arithmetic autstr.buildin autstr.buildin.automata autstr.buildin.presentations autstr.buildin.tree_presentations autstr.chain_ring autstr.cocycle_groups autstr.composition autstr.graphs autstr.groups autstr.implicit autstr.mtbdd autstr.presentations autstr.sparse_automata autstr.sparse_tree_automata autstr.tree_graphs autstr.tree_groups autstr.tree_presentations autstr.tree_uniform autstr.uniform autstr.utils autstr.utils.automata_tools autstr.utils.logic autstr.utils.misc autstr.utils.tree_automata_tools

module_cut_rank() (in module autstr.chain_ring) modulus() (in module autstr.chain_ring) MSO0() (in module autstr.buildin.presentations) multiply() (autstr.cocycle_groups.CocycleRankWidthGroups method) (autstr.cocycle_groups.CocycleSites method) (autstr.groups.CutRankGroups method) (autstr.groups.ExtraspecialGroups method) (autstr.groups.IndexTwoCyclicGroups method) (autstr.tree_groups.CutRankTreeGroups method) mux() (autstr.mtbdd.NodeStore method)

N

n_entries (autstr.tree_groups.CutRankTreeGroups attribute) neg() (autstr.algebra.Z1pLocalization method) NegatedETerm (class in autstr.arithmetic) NodeStore (class in autstr.mtbdd) normalize() (autstr.algebra.Z1pLocalization method) num (autstr.algebra.Z1pElement attribute)

num_bits() (in module autstr.mtbdd) num_nodes (autstr.graphs.StringGraph property) (autstr.sparse_automata.SparseDFA property) (autstr.sparse_tree_automata.SparseTreeAutomaton property) (autstr.tree_graphs.TreeWidthGraph property) num_symbols (autstr.sparse_automata.SparseDFA property) (autstr.sparse_tree_automata.SparseTreeAutomaton property)

O

one() (in module autstr.buildin.automata)

optimize_query() (in module autstr.utils.logic)

P

PAD (autstr.buildin.tree_presentations.SkolemArithmetic attribute) pad() (in module autstr.utils.automata_tools) pair_node() (autstr.sparse_tree_automata.SparseTreeAutomaton method) parameters() (autstr.groups.IndexTwoCyclicGroups method) path() (autstr.tree_graphs.CliqueWidthGraph class method) (autstr.tree_graphs.RankWidthGraph class method) PathWidthClass (class in autstr.graphs) PathWidthGraph (class in autstr.graphs) permute_tapes() (in module autstr.utils.automata_tools) (in module autstr.utils.tree_automata_tools)

point_target_sites() (in module autstr.cocycle_groups) pop() (autstr.utils.automata_tools.LengthLexHeap method) prefix() (in module autstr.composition) presentation (autstr.algebra.Z1pLocalization property) product() (in module autstr.utils.automata_tools) project() (in module autstr.utils.tree_automata_tools) projection() (in module autstr.utils.automata_tools) push() (autstr.utils.automata_tools.LengthLexHeap method)

Q

quantify_letter() (autstr.mtbdd.NodeStore method)

R

RankWidthClass (class in autstr.tree_graphs) RankWidthGraph (class in autstr.tree_graphs) reachable_states() (autstr.sparse_tree_automata.SparseTreeAutomaton method) recode() (in module autstr.sparse_automata) recode_letters() (autstr.mtbdd.NodeStore method) reduce_set_nfa() (in module autstr.sparse_automata) regular_right_quotient() (autstr.sparse_automata.SparseDFA method) RelationalAlgebraTerm (class in autstr.arithmetic) relativized_query() (in module autstr.implicit)

remap() (autstr.mtbdd.ComputedTable method) rename() (autstr.mtbdd.NodeStore method) reset() (autstr.mtbdd.NodeStore method) reverse_transition() (autstr.sparse_automata.SparseDFA method) right (autstr.sparse_tree_automata.Tree attribute) right_inverse() (in module autstr.chain_ring) right_invertible() (in module autstr.chain_ring) run() (autstr.sparse_tree_automata.SparseTreeAutomaton method) run_dfa() (in module autstr.implicit) run_ta() (in module autstr.implicit)

S

saturate() (in module autstr.chain_ring) scattered_sites() (in module autstr.cocycle_groups) semidihedral() (autstr.groups.IndexTwoCyclicGroups method) serialize() (autstr.presentations.AutomaticPresentationSerializer class method) (autstr.sparse_automata.SparseDFASerializer class method) set_path() (autstr.mtbdd.NodeStore method) shift (autstr.mtbdd.ComputedTable attribute) show_diagram() (autstr.sparse_automata.SparseDFA method) (autstr.sparse_automata.SparseNFA method) sigma (autstr.algebra.Z1pLocalization property) simulate() (autstr.cocycle_groups.CocycleRankWidthGroups method) (autstr.groups.CutRankGroups method) (autstr.tree_groups.CutRankTreeGroups method) size() (autstr.mtbdd.NodeStore method) (autstr.sparse_tree_automata.Tree method) skolem_arithmetic() (in module autstr.buildin.tree_presentations) SkolemArithmetic (class in autstr.buildin.tree_presentations) smith_normal_form() (in module autstr.chain_ring) solve_left() (in module autstr.chain_ring)

sparse_dfa_from_file() (autstr.sparse_automata.SparseDFA class method) sparse_dfa_to_file() (autstr.sparse_automata.SparseDFA method) SparseDFA (class in autstr.sparse_automata) SparseDFASerializer (class in autstr.sparse_automata) SparseNFA (class in autstr.sparse_automata) SparseTreeAutomaton (class in autstr.sparse_tree_automata) sparsify() (autstr.sparse_automata.SparseDFA method) spine() (autstr.tree_groups.CutRankTreeGroups static method) (autstr.tree_groups.TreeExtraspecialGroups static method) sta_from_delta() (in module autstr.tree_uniform) stack() (in module autstr.utils.automata_tools) step() (autstr.implicit.ImplicitDFA method) (autstr.implicit.ImplicitTA method) string_chain() (in module autstr.utils.tree_automata_tools) StringGraph (class in autstr.graphs) StringSolutionSet (class in autstr.implicit) sub() (autstr.algebra.Z1pLocalization method) subset_id() (autstr.sparse_automata.SparseNFA method) substitute() (autstr.arithmetic.Term method) successors() (autstr.sparse_automata.SparseDFA method)

T

ta_atom() (in module autstr.implicit) ta_complement() (in module autstr.implicit) ta_product() (in module autstr.implicit) ta_project() (in module autstr.implicit) tagged_advice() (in module autstr.composition) tagged_element() (in module autstr.composition) Term (class in autstr.arithmetic) terminal() (autstr.mtbdd.NodeStore method) terminals() (autstr.mtbdd.NodeStore method) to_bytes() (autstr.sparse_automata.SparseDFASerializer class method) to_digits() (in module autstr.chain_ring) to_fo() (autstr.arithmetic.BaseRATerm method) to_graphviz() (autstr.graphs.StringGraph method) to_networkx() (autstr.graphs.StringGraph method) (autstr.tree_graphs.CliqueWidthGraph method) (autstr.tree_graphs.RankWidthGraph method) (autstr.tree_graphs.TreeWidthGraph method)

to_term() (autstr.arithmetic.ElementaryTerm class method) transition() (autstr.sparse_automata.SparseDFA method) transitions() (autstr.sparse_tree_automata.SparseTreeAutomaton method) Tree (class in autstr.sparse_tree_automata) tree_automaton() (in module autstr.utils.tree_automata_tools) tree_cut_rank() (autstr.tree_groups.CutRankTreeGroups method) tree_one() (in module autstr.tree_presentations) tree_to_arrays() (in module autstr.sparse_tree_automata) tree_zero() (in module autstr.tree_presentations) TreeAutomaticPresentation (class in autstr.tree_presentations) TreeDepthClass (class in autstr.graphs) TreeDepthGraph (class in autstr.graphs) TreeExtraspecialGroups (class in autstr.tree_groups) TreeSolutionSet (class in autstr.implicit) TreeWidthClass (class in autstr.tree_graphs) TreeWidthGraph (class in autstr.tree_graphs)

U

UniformlyAutomaticClass (class in autstr.uniform) UniformlyTreeAutomaticClass (class in autstr.tree_uniform) union() (autstr.sparse_automata.SparseDFA method) (autstr.sparse_tree_automata.SparseTreeAutomaton method) UnionRATerm (class in autstr.arithmetic) unit_inverse() (in module autstr.chain_ring) unpad() (in module autstr.utils.automata_tools) update() (autstr.presentations.AutomaticPresentation method) (autstr.tree_presentations.TreeAutomaticPresentation method) update_presentation() (autstr.arithmetic.AdditionETerm method) (autstr.arithmetic.BaseRATerm method) (autstr.arithmetic.BinaryRATerm method) (autstr.arithmetic.ComplementRATerm method) (autstr.arithmetic.ConstantETerm method) (autstr.arithmetic.DropRATerm method) (autstr.arithmetic.ElementaryTerm method) (autstr.arithmetic.ExInfRATerm method) (autstr.arithmetic.NegatedETerm method) (autstr.arithmetic.Term method) (autstr.arithmetic.VariableETerm method)

V

vals (autstr.mtbdd.ComputedTable attribute) valuation() (in module autstr.chain_ring) var_tables() (in module autstr.mtbdd)

VariableETerm (class in autstr.arithmetic) VERSION (autstr.presentations.AutomaticPresentationSerializer attribute) (autstr.sparse_automata.SparseDFASerializer attribute)

W

width (autstr.graphs.PathWidthGraph property) (autstr.tree_graphs.RankWidthGraph property) (autstr.tree_graphs.TreeWidthGraph property)

word_automaton() (in module autstr.utils.automata_tools)

Z

z1p_localization() (in module autstr.algebra) Z1pElement (class in autstr.algebra)

Z1pLocalization (class in autstr.algebra) zero() (in module autstr.buildin.automata)