Index

A

a() (autstr.collapsible_reach.Relations method) 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) (autstr.symbolic.Backend method) (autstr.symbolic.backends.Backend method) (autstr.symbolic.backends.ClassBackend method) (autstr.symbolic.backends.StructureBackend method) (autstr.symbolic.backends.TreeStructureBackend method) (autstr.symbolic.ClassBackend method) (autstr.symbolic.StructureBackend method) accepts_batch() (autstr.sparse_automata.SparseDFA method) add() (autstr.algebra.Z1pLocalization method) ADVICE (autstr.symbolic.backends.ClassBackend attribute) (autstr.symbolic.ClassBackend attribute) 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) all() (autstr.symbolic.expr.Formula method) (autstr.symbolic.Formula method) all_names() (in module autstr.symbolic.expr) alphabet_from_json() (in module autstr.utils.misc) alphabet_projection() (autstr.sparse_automata.SparseDFA method) And (class in autstr.symbolic.expr) Annotation (class in autstr.collapsible_reach) anything() (autstr.collapsible_reach.LabelAutomaton static method) applies_to() (autstr.collapsible.Rule method) Apply (class in autstr.symbolic.expr) apply() (autstr.collapsible.Stack method) apply1() (autstr.mtbdd.NodeStore method) apply2() (autstr.mtbdd.NodeStore method) args (autstr.symbolic.expr.Apply attribute) (autstr.symbolic.expr.Atom attribute) (autstr.symbolic.expr.DfaAtom attribute) arity (autstr.symbolic.context.FunctionSymbol property) (autstr.symbolic.context.Relation property) (autstr.symbolic.context.RelationSymbol property) (autstr.symbolic.FunctionSymbol property) (autstr.symbolic.Relation property) (autstr.symbolic.RelationSymbol property) arity() (autstr.symbolic.Backend method) (autstr.symbolic.backends.Backend method) (autstr.symbolic.backends.ClassBackend method) (autstr.symbolic.backends.StructureBackend method) (autstr.symbolic.backends.TreeStructureBackend method) (autstr.symbolic.ClassBackend method) (autstr.symbolic.compiler.Compiler method) (autstr.symbolic.StructureBackend method) arity_of() (autstr.symbolic.Backend method) (autstr.symbolic.backends.Backend method) (autstr.symbolic.backends.ClassBackend method) (autstr.symbolic.backends.StructureBackend method) (autstr.symbolic.backends.TreeStructureBackend method) (autstr.symbolic.ClassBackend method) (autstr.symbolic.StructureBackend method) Atom (class in autstr.symbolic.expr) atom() (autstr.symbolic.context.SymbolicContext method) (autstr.symbolic.SymbolicContext method) AtomlessBooleanAlgebra (class in autstr.tree_algebra) attach_padding() (in module autstr.utils.tree_automata_tools) automatic_presentation_from_file() (autstr.presentations.AutomaticPresentation class method) (autstr.tree_presentations.TreeAutomaticPresentation class method) automatic_presentation_to_file() (autstr.presentations.AutomaticPresentation method) (autstr.tree_presentations.TreeAutomaticPresentation method) AutomaticPresentation (class in autstr.presentations)

AutomaticPresentationSerializer (class in autstr.presentations) automaton() (autstr.collapsible_reach.Annotation method) autstr module autstr.algebra module autstr.arithmetic module autstr.chain_ring module autstr.cocycle_groups module autstr.collapsible module autstr.collapsible_reach module autstr.composition module autstr.graphs module autstr.groups module autstr.implicit module autstr.infinite_graphs module autstr.interpretations module autstr.mtbdd module autstr.ordinals module autstr.powerset module autstr.presentations module autstr.sparse_automata module autstr.sparse_tree_automata module autstr.symbolic module autstr.symbolic.backends module autstr.symbolic.compiler module autstr.symbolic.context module autstr.symbolic.expr module autstr.symbolic.signature module autstr.tree_algebra module autstr.tree_arithmetic module autstr.tree_graphs module autstr.tree_groups module autstr.tree_presentations module autstr.tree_uniform module autstr.turing 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

b() (autstr.collapsible_reach.Relations method) Backend (class in autstr.symbolic) (class in autstr.symbolic.backends) balanced() (autstr.tree_groups.CutRankTreeGroups static method) bits_of() (in module autstr.mtbdd) blocks() (in module autstr.composition) body (autstr.symbolic.expr.ExInf attribute) (autstr.symbolic.expr.Not attribute)

BOT (autstr.sparse_tree_automata.SparseTreeAutomaton property) BOTTOM (in module autstr.collapsible) BuechiArithmetic (class in autstr.arithmetic) BuechiArithmeticZ (class in autstr.arithmetic) build_rows() (autstr.mtbdd.NodeStore method) BURIED (autstr.collapsible_reach.Relations attribute)

C

c() (autstr.collapsible_reach.Relations method) canonical() (autstr.turing.TuringMachine method) (in module autstr.utils.automata_tools) (in module autstr.utils.tree_automata_tools) CantorForm (in module autstr.ordinals) caterpillar() (autstr.tree_graphs.RankWidthGraph static method) check() (autstr.algebra.FiniteBooleanAlgebras method) (autstr.algebra.Z1pLocalization method) (autstr.cocycle_groups.CocycleRankWidthGroups method) (autstr.collapsible.Level2CPG 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.infinite_graphs.InfiniteGraph method) (autstr.infinite_graphs.IntegerGrid method) (autstr.infinite_graphs.RegularTree method) (autstr.ordinals.Ordinal method) (autstr.presentations.AutomaticPresentation method) (autstr.symbolic.context.SymbolicContext method) (autstr.symbolic.expr.Formula method) (autstr.symbolic.Formula method) (autstr.symbolic.SymbolicContext 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.turing.ConfigurationGraph 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_member() (autstr.symbolic.Backend method) (autstr.symbolic.backends.Backend method) (autstr.symbolic.backends.ClassBackend method) (autstr.symbolic.ClassBackend method) (autstr.symbolic.context.SymbolicContext method) (autstr.symbolic.SymbolicContext 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) ClassBackend (class in autstr.symbolic) (class in autstr.symbolic.backends) 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) clone() (autstr.collapsible.Stack method)

Clopen (in module autstr.tree_algebra) closure() (in module autstr.collapsible_reach) 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) co_reachable_states() (autstr.sparse_tree_automata.SparseTreeAutomaton method) CocycleRankWidthGroups (class in autstr.cocycle_groups) CocycleSites (class in autstr.cocycle_groups) codec (autstr.symbolic.Signature attribute) (autstr.symbolic.signature.Signature attribute) cofactor() (autstr.mtbdd.NodeStore method) collapse() (autstr.collapsible.Stack method) collapses_on_links() (autstr.collapsible_reach.Relations method) collect() (autstr.mtbdd.NodeStore method) compile() (autstr.symbolic.compiler.Compiler method) (autstr.symbolic.context.SymbolicContext method) (autstr.symbolic.SymbolicContext method) CompiledPresentation (class in autstr.presentations) CompileError, [1] Compiler (class in autstr.symbolic.compiler) complement() (autstr.sparse_automata.SparseDFA method) (autstr.sparse_tree_automata.SparseTreeAutomaton method) (in module autstr.utils.misc) complete_bipartite() (autstr.tree_graphs.CliqueWidthGraph class method) (autstr.tree_graphs.RankWidthGraph class method) compose() (in module autstr.collapsible_reach) compute() (autstr.sparse_automata.SparseDFA method) (autstr.sparse_automata.SparseNFA method) ComputedTable (class in autstr.mtbdd) Configuration (class in autstr.collapsible) (class in autstr.turing) configuration_graph() (autstr.collapsible.Level2CPS method) (autstr.turing.TuringMachine method) ConfigurationGraph (class in autstr.turing) connective (autstr.symbolic.expr.And attribute) (autstr.symbolic.expr.Or attribute) Const (class in autstr.symbolic.expr) const() (autstr.mtbdd.NodeStore method) (autstr.symbolic.context.SymbolicContext method) (autstr.symbolic.SymbolicContext method) constant_automaton() (autstr.symbolic.Backend method) (autstr.symbolic.backends.Backend method) (autstr.symbolic.backends.ClassBackend method) (autstr.symbolic.backends.StructureBackend method) (autstr.symbolic.backends.TreeStructureBackend method) (autstr.symbolic.ClassBackend method) (autstr.symbolic.StructureBackend method) contains() (autstr.symbolic.context.Relation method) (autstr.symbolic.expr.Formula method) (autstr.symbolic.Formula method) (autstr.symbolic.Relation method) contracting() (autstr.collapsible_reach.LabelAutomaton static method) convolve_trees() (in module autstr.sparse_tree_automata) create_sparse_dfa() (in module autstr.utils.automata_tools) ctx (autstr.symbolic.expr.Node attribute) 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

d() (autstr.collapsible_reach.Relations method) decode() (autstr.arithmetic.BuechiArithmetic static method) (autstr.arithmetic.BuechiArithmeticZ static method) (autstr.cocycle_groups.CocycleRankWidthGroups method) (autstr.collapsible.Level2CPS static method) (autstr.groups.CutRankGroups method) (autstr.groups.InfiniteExtraspecialGroup method) (autstr.infinite_graphs.IntegerGrid method) (autstr.infinite_graphs.RegularTree method) (autstr.ordinals.Ordinal method) (autstr.ordinals.TreeOrdinal method) (autstr.powerset.MSO0 static method) (autstr.symbolic.ElementCodec method) (autstr.symbolic.FunctionCodec method) (autstr.symbolic.signature.ElementCodec method) (autstr.symbolic.signature.FunctionCodec method) (autstr.tree_algebra.AtomlessBooleanAlgebra method) (autstr.tree_arithmetic.SkolemArithmetic class method) (autstr.tree_groups.CutRankTreeGroups method) (autstr.turing.TuringMachine method) decode_configuration() (in module autstr.collapsible) decode_set() (autstr.tree_graphs.RankWidthGraph method) decode_stack() (in module autstr.collapsible) decode_symbol() (autstr.sparse_automata.SparseDFA method) (in module autstr.utils.misc) decoder (autstr.symbolic.FunctionCodec attribute) (autstr.symbolic.signature.FunctionCodec attribute) default_signature() (autstr.arithmetic.BuechiArithmetic method) (autstr.arithmetic.BuechiArithmeticZ method) (autstr.groups.InfiniteExtraspecialGroup method) (autstr.infinite_graphs.InfiniteGraph method) (autstr.ordinals.Ordinal method) (autstr.ordinals.TreeOrdinal method) (autstr.powerset.MSO0 method) (autstr.presentations.AutomaticPresentation method) (autstr.tree_algebra.AtomlessBooleanAlgebra method) (autstr.tree_arithmetic.SkolemArithmetic method) (autstr.tree_presentations.TreeAutomaticPresentation method) (autstr.uniform.SymbolicClassWrapper method) (autstr.uniform.UniformlyAutomaticClass method)

default_states (autstr.sparse_automata.SparseDFA property) DeferredRelations (class in autstr.presentations) 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) describe() (autstr.symbolic.Backend method) (autstr.symbolic.backends.Backend method) (autstr.symbolic.backends.ClassBackend method) (autstr.symbolic.backends.StructureBackend method) (autstr.symbolic.backends.TreeStructureBackend method) (autstr.symbolic.ClassBackend method) (autstr.symbolic.context.SymbolicContext method) (autstr.symbolic.StructureBackend method) (autstr.symbolic.SymbolicContext method) deserialize() (autstr.presentations.AutomaticPresentationSerializer class method) (autstr.sparse_automata.SparseDFASerializer class method) (autstr.sparse_tree_automata.SparseTreeAutomatonSerializer class method) (autstr.tree_presentations.TreeAutomaticPresentationSerializer class method) determinize() (autstr.sparse_automata.SparseNFA method) dfa (autstr.symbolic.expr.DfaAtom attribute) 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) DfaAtom (class in autstr.symbolic.expr) dicyclic() (autstr.groups.IndexTwoCyclicGroups method) dihedral() (autstr.groups.IndexTwoCyclicGroups method) direct_product() (in module autstr.composition) direct_product_closure() (in module autstr.composition) DIRECTIONS (in module autstr.turing) disjoint_union() (in module autstr.composition) domain_within() (in module autstr.utils.tree_automata_tools) drop() (autstr.symbolic.expr.Formula method) (autstr.symbolic.Formula method) drop_moves() (autstr.collapsible_reach.Relations method) dropping() (autstr.collapsible_reach.Relations method) drops() (autstr.collapsible_reach.Summaries method)

E

EDGE (autstr.infinite_graphs.InfiniteGraph attribute) edges (autstr.tree_graphs.CliqueWidthGraph attribute) (autstr.tree_graphs.RankWidthGraph attribute) edges() (autstr.graphs.PathWidthGraph method) (autstr.graphs.StringGraph method) (autstr.graphs.TreeDepthGraph method) (autstr.tree_graphs.TreeWidthGraph method) element() (autstr.algebra.Z1pLocalization method) ElementCodec (class in autstr.symbolic) (class in autstr.symbolic.signature) EMPTY (in module autstr.collapsible_reach) encode() (autstr.algebra.FiniteBooleanAlgebras method) (autstr.algebra.Z1pLocalization method) (autstr.arithmetic.BuechiArithmetic static method) (autstr.arithmetic.BuechiArithmeticZ static method) (autstr.cocycle_groups.CocycleRankWidthGroups method) (autstr.collapsible.Level2CPS static method) (autstr.groups.CutRankGroups method) (autstr.groups.ExtraspecialGroups method) (autstr.groups.FiniteAbelianGroups method) (autstr.groups.IndexTwoCyclicGroups method) (autstr.groups.InfiniteExtraspecialGroup method) (autstr.infinite_graphs.IntegerGrid method) (autstr.infinite_graphs.RegularTree method) (autstr.ordinals.Ordinal method) (autstr.ordinals.TreeOrdinal method) (autstr.powerset.MSO0 static method) (autstr.symbolic.ElementCodec method) (autstr.symbolic.FunctionCodec method) (autstr.symbolic.signature.ElementCodec method) (autstr.symbolic.signature.FunctionCodec method) (autstr.tree_algebra.AtomlessBooleanAlgebra method) (autstr.tree_arithmetic.SkolemArithmetic class method) (autstr.tree_groups.CutRankTreeGroups method) (autstr.tree_groups.TreeExtraspecialGroups method) (autstr.turing.TuringMachine method) encode_configuration() (in module autstr.collapsible) 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_stack() (in module autstr.collapsible) encode_symbol() (autstr.sparse_automata.SparseDFA method) (in module autstr.utils.misc) encoder (autstr.symbolic.FunctionCodec attribute) (autstr.symbolic.signature.FunctionCodec attribute) entry_letters (autstr.groups.CutRankGroups attribute) eq() (autstr.symbolic.expr.Term method) (autstr.symbolic.Term method) EQUALITY (autstr.algebra.FiniteBooleanAlgebras attribute) (autstr.groups.FiniteAbelianGroups attribute) (autstr.tree_graphs.CliqueWidthClass attribute) (autstr.tree_graphs.RankWidthClass attribute) (autstr.tree_graphs.TreeWidthClass attribute) (autstr.uniform.SymbolicClassWrapper attribute) EQUALITY_SYMBOL (in module autstr.symbolic.signature) 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.cocycle_groups.CocycleRankWidthGroups method) (autstr.collapsible.Level2CPG 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.infinite_graphs.InfiniteGraph method) (autstr.infinite_graphs.IntegerGrid method) (autstr.infinite_graphs.RegularTree method) (autstr.ordinals.Ordinal method) (autstr.presentations.AutomaticPresentation method) (autstr.symbolic.Backend method) (autstr.symbolic.backends.Backend method) (autstr.symbolic.backends.ClassBackend method) (autstr.symbolic.backends.StructureBackend method) (autstr.symbolic.backends.TreeStructureBackend method) (autstr.symbolic.ClassBackend method) (autstr.symbolic.context.SymbolicContext method) (autstr.symbolic.expr.Formula method) (autstr.symbolic.Formula method) (autstr.symbolic.StructureBackend method) (autstr.symbolic.SymbolicContext 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.turing.ConfigurationGraph 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) evaluate_member() (autstr.symbolic.Backend method) (autstr.symbolic.backends.Backend method) (autstr.symbolic.backends.ClassBackend method) (autstr.symbolic.ClassBackend method) (autstr.symbolic.context.SymbolicContext method) (autstr.symbolic.SymbolicContext method) ex() (autstr.symbolic.expr.Formula method) (autstr.symbolic.Formula method) exception_states (autstr.sparse_automata.SparseDFA property) exception_symbols (autstr.sparse_automata.SparseDFA property) exceptions() (autstr.sparse_tree_automata.SparseTreeAutomaton method) ExInf (class in autstr.symbolic.expr) exinf() (autstr.symbolic.expr.Formula method) (autstr.symbolic.Formula method) Exists (class in autstr.symbolic.expr) exp (autstr.algebra.Z1pElement attribute) expand() (in module autstr.utils.automata_tools) (in module autstr.utils.tree_automata_tools) export() (autstr.mtbdd.NodeStore method) extend() (autstr.collapsible_reach.Annotation 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) final (autstr.collapsible_reach.LabelAutomaton attribute) FiniteAbelianGroups (class in autstr.groups) FiniteBooleanAlgebras (class in autstr.algebra) FIXED (autstr.collapsible.Level2CPG attribute) fixed_k_sites() (in module autstr.cocycle_groups) fold_tapes() (autstr.mtbdd.NodeStore method) (in module autstr.utils.automata_tools) (in module autstr.utils.tree_automata_tools) Forall (class in autstr.symbolic.expr) Formula (class in autstr.symbolic) (class in autstr.symbolic.expr) FREE_PREFIX (in module autstr.symbolic.compiler) fresh_name() (autstr.symbolic.context.SymbolicContext method) (autstr.symbolic.SymbolicContext method) from_bytes() (autstr.sparse_automata.SparseDFASerializer class method) (autstr.sparse_tree_automata.SparseTreeAutomatonSerializer 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) func (autstr.symbolic.expr.Apply attribute) func() (autstr.symbolic.context.SymbolicContext method) (autstr.symbolic.SymbolicContext method) Function (class in autstr.symbolic.signature) function() (autstr.symbolic.context.SymbolicContext method) (autstr.symbolic.Signature method) (autstr.symbolic.signature.Signature method) (autstr.symbolic.SymbolicContext method) FunctionCodec (class in autstr.symbolic) (class in autstr.symbolic.signature) functions (autstr.symbolic.Signature attribute) (autstr.symbolic.signature.Signature attribute) FunctionSymbol (class in autstr.symbolic) (class in autstr.symbolic.context)

G

get() (autstr.mtbdd.ComputedTable method) get_free_elementary_vars() (in module autstr.utils.logic) get_relation_symbols() (autstr.collapsible.Level2CPG method) (autstr.infinite_graphs.InfiniteGraph method) (autstr.infinite_graphs.RegularTree method) (autstr.ordinals.Ordinal method) (autstr.presentations.DeferredRelations method) (autstr.turing.ConfigurationGraph 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.symbolic.Backend method) (autstr.symbolic.backends.Backend method) (autstr.symbolic.backends.ClassBackend method) (autstr.symbolic.ClassBackend method) (autstr.symbolic.context.SymbolicContext method) (autstr.symbolic.SymbolicContext 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_symbolic_func() (autstr.symbolic.context.SymbolicContext method) (autstr.symbolic.SymbolicContext method) get_symbolic_rel() (autstr.symbolic.context.SymbolicContext method) (autstr.symbolic.SymbolicContext method) get_symbolic_vars() (autstr.symbolic.context.SymbolicContext method) (autstr.symbolic.SymbolicContext method) get_unique_id() (in module autstr.utils.misc) GRAPH (autstr.algebra.FiniteBooleanAlgebras attribute) (autstr.groups.FiniteAbelianGroups attribute) graph (autstr.symbolic.signature.Function attribute) GRAPH (autstr.tree_graphs.CliqueWidthClass attribute) (autstr.tree_graphs.RankWidthClass attribute) (autstr.tree_graphs.TreeWidthClass attribute) (autstr.uniform.SymbolicClassWrapper attribute) graph_signature() (in module autstr.symbolic) (in module autstr.symbolic.signature) guessed() (autstr.collapsible_reach.Relations method)

H

head (autstr.turing.Configuration attribute) HEADER_FORMAT (autstr.presentations.AutomaticPresentationSerializer attribute) (autstr.sparse_automata.SparseDFASerializer attribute) (autstr.sparse_tree_automata.SparseTreeAutomatonSerializer attribute) (autstr.tree_presentations.TreeAutomaticPresentationSerializer attribute) HEADER_SIZE (autstr.presentations.AutomaticPresentationSerializer attribute) (autstr.sparse_automata.SparseDFASerializer attribute) (autstr.sparse_tree_automata.SparseTreeAutomatonSerializer attribute) (autstr.tree_presentations.TreeAutomaticPresentationSerializer 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) hloop (autstr.collapsible_reach.Summary attribute)

I

identity() (autstr.cocycle_groups.CocycleSites method) (autstr.groups.CutRankGroups method) (autstr.tree_groups.CutRankTreeGroups method) iff() (autstr.symbolic.expr.Formula method) (autstr.symbolic.Formula 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) implies() (autstr.symbolic.expr.Formula method) (autstr.symbolic.Formula method) import_nodes() (autstr.mtbdd.NodeStore method) IN (autstr.tree_algebra.AtomlessBooleanAlgebra attribute) IndexTwoCyclicGroups (class in autstr.groups) InfiniteExtraspecialGroup (class in autstr.groups) InfiniteGraph (class in autstr.infinite_graphs) initial (autstr.collapsible_reach.LabelAutomaton attribute) initial() (autstr.collapsible.Level2CPS method) (autstr.implicit.ImplicitDFA method) initial_stack() (in module autstr.collapsible) IntegerGrid (class in autstr.infinite_graphs) interpret() (in module autstr.interpretations) intersect_subtapes() (autstr.sparse_automata.SparseDFA method) intersection() (autstr.sparse_automata.SparseDFA method) (autstr.sparse_tree_automata.SparseTreeAutomaton method) inv_mod_pp() (in module autstr.chain_ring) is_atomless() (autstr.tree_algebra.AtomlessBooleanAlgebra method) is_deterministic() (autstr.collapsible.Level2CPG method) (autstr.turing.ConfigurationGraph method) is_empty() (autstr.sparse_automata.SparseDFA method) (autstr.sparse_tree_automata.SparseTreeAutomaton method) (autstr.symbolic.context.Relation method) (autstr.symbolic.expr.Formula method) (autstr.symbolic.Formula method) (autstr.symbolic.Relation method)

is_finite() (autstr.sparse_automata.SparseDFA method) (autstr.sparse_tree_automata.SparseTreeAutomaton method) (autstr.symbolic.Backend method) (autstr.symbolic.backends.Backend method) (autstr.symbolic.backends.ClassBackend method) (autstr.symbolic.backends.StructureBackend method) (autstr.symbolic.backends.TreeStructureBackend method) (autstr.symbolic.ClassBackend method) (autstr.symbolic.context.Relation method) (autstr.symbolic.expr.Formula method) (autstr.symbolic.Formula method) (autstr.symbolic.Relation method) (autstr.symbolic.StructureBackend method) is_symmetric() (autstr.infinite_graphs.InfiniteGraph method) (autstr.infinite_graphs.IntegerGrid method) (autstr.infinite_graphs.RegularTree method) is_terminal() (autstr.mtbdd.NodeStore method) is_total_order() (autstr.ordinals.Ordinal method) (autstr.ordinals.TreeOrdinal method) is_unit() (in module autstr.chain_ring) iterate() (autstr.symbolic.Backend method) (autstr.symbolic.backends.Backend method) (autstr.symbolic.backends.ClassBackend method) (autstr.symbolic.backends.StructureBackend method) (autstr.symbolic.backends.TreeStructureBackend method) (autstr.symbolic.ClassBackend method) (autstr.symbolic.StructureBackend method) iterate_language() (in module autstr.utils.automata_tools) iterate_trees() (in module autstr.utils.tree_automata_tools)

K

k_deeper_automaton() (in module autstr.utils.tree_automata_tools) k_longer_automaton() (in module autstr.utils.automata_tools) keys (autstr.mtbdd.ComputedTable attribute)

keyword (autstr.symbolic.expr.Exists attribute) (autstr.symbolic.expr.Forall attribute) kind (autstr.collapsible.Operation attribute)

L

label (autstr.collapsible.Rule attribute) (autstr.sparse_tree_automata.Tree attribute) (autstr.symbolic.expr.DfaAtom attribute) label() (autstr.collapsible.Letter method) LabelAutomaton (class in autstr.collapsible_reach) laminar_sites() (in module autstr.cocycle_groups) left (autstr.sparse_tree_automata.Tree attribute) length_automaton() (in module autstr.utils.automata_tools) LengthLexHeap (class in autstr.utils.automata_tools) Letter (class in autstr.collapsible) (in module autstr.collapsible_reach) letter() (autstr.mtbdd.NodeStore method) letters (autstr.groups.CutRankGroups attribute) LETTERS (autstr.ordinals.TreeOrdinal attribute) (autstr.tree_algebra.AtomlessBooleanAlgebra attribute) (autstr.tree_arithmetic.SkolemArithmetic attribute) level (autstr.collapsible.Letter attribute) (autstr.collapsible.Operation attribute) (autstr.collapsible_reach.Summary attribute)

Level2CPG (class in autstr.collapsible) Level2CPS (class in autstr.collapsible) linear_cut_rank() (autstr.groups.CutRankGroups method) link (autstr.collapsible.Letter attribute) lloop (autstr.collapsible_reach.Summary attribute) longer_witness_automaton() (autstr.symbolic.Backend method) (autstr.symbolic.backends.Backend method) (autstr.symbolic.backends.ClassBackend method) (autstr.symbolic.backends.StructureBackend method) (autstr.symbolic.backends.TreeStructureBackend method) (autstr.symbolic.ClassBackend method) (autstr.symbolic.StructureBackend method) loop (autstr.collapsible_reach.Summary property) looping() (autstr.collapsible_reach.Relations method) lsbf_Z_automaton() (in module autstr.utils.automata_tools)

M

MAGIC (autstr.presentations.AutomaticPresentationSerializer attribute) (autstr.sparse_tree_automata.SparseTreeAutomatonSerializer attribute) (autstr.tree_presentations.TreeAutomaticPresentationSerializer 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) materialize() (autstr.presentations.DeferredRelations method) (autstr.symbolic.context.SymbolicContext method) (autstr.symbolic.expr.Formula method) (autstr.symbolic.Formula method) (autstr.symbolic.SymbolicContext method) max_exceptions (autstr.sparse_automata.SparseDFA property) METADATA_FORMAT (autstr.sparse_automata.SparseDFASerializer attribute) (autstr.sparse_tree_automata.SparseTreeAutomatonSerializer attribute) METADATA_SIZE (autstr.sparse_automata.SparseDFASerializer attribute) (autstr.sparse_tree_automata.SparseTreeAutomatonSerializer 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.chain_ring autstr.cocycle_groups autstr.collapsible autstr.collapsible_reach autstr.composition autstr.graphs autstr.groups autstr.implicit autstr.infinite_graphs autstr.interpretations autstr.mtbdd autstr.ordinals autstr.powerset autstr.presentations autstr.sparse_automata autstr.sparse_tree_automata autstr.symbolic autstr.symbolic.backends autstr.symbolic.compiler autstr.symbolic.context autstr.symbolic.expr autstr.symbolic.signature autstr.tree_algebra autstr.tree_arithmetic autstr.tree_graphs autstr.tree_groups autstr.tree_presentations autstr.tree_uniform autstr.turing 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) moves() (autstr.collapsible_reach.Summaries method) MSO0 (class in autstr.powerset) multiply() (autstr.cocycle_groups.CocycleRankWidthGroups method) (autstr.cocycle_groups.CocycleSites method) (autstr.groups.CutRankGroups method) (autstr.groups.ExtraspecialGroups method) (autstr.groups.IndexTwoCyclicGroups method) (autstr.groups.InfiniteExtraspecialGroup method) (autstr.tree_groups.CutRankTreeGroups method) mux() (autstr.mtbdd.NodeStore method)

N

n_entries (autstr.tree_groups.CutRankTreeGroups attribute) name (autstr.symbolic.expr.Var attribute) (autstr.symbolic.Var attribute) names (autstr.symbolic.compiler.Compiler property) neg() (autstr.algebra.Z1pLocalization method) Node (class in autstr.symbolic.expr) NodeStore (class in autstr.mtbdd) NONE (autstr.collapsible_reach.Relations attribute) normalize() (autstr.algebra.Z1pLocalization method)

Not (class in autstr.symbolic.expr) 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

of_tree() (autstr.collapsible_reach.Annotation method) of_word() (autstr.collapsible_reach.LabelAutomaton static method) (autstr.collapsible_reach.Summaries method) one() (in module autstr.utils.automata_tools) oneloop (autstr.collapsible_reach.Summary attribute) operation (autstr.collapsible.Rule attribute) Operation (class in autstr.collapsible) operation_signature() (in module autstr.symbolic) (in module autstr.symbolic.signature) OPERATOR (autstr.groups.FiniteAbelianGroups attribute) (autstr.uniform.SymbolicClassWrapper attribute)

operator() (autstr.symbolic.Signature method) (autstr.symbolic.signature.Signature method) operators (autstr.symbolic.Signature attribute) (autstr.symbolic.signature.Signature attribute) optimize_query() (in module autstr.utils.logic) Or (class in autstr.symbolic.expr) order_signature() (in module autstr.symbolic) (in module autstr.symbolic.signature) Ordinal (class in autstr.ordinals) OrdinalValue (in module autstr.ordinals) out (autstr.symbolic.signature.Function attribute) OUT (autstr.tree_algebra.AtomlessBooleanAlgebra attribute)

P

PAD (autstr.groups.InfiniteExtraspecialGroup attribute) (autstr.ordinals.TreeOrdinal attribute) (autstr.tree_algebra.AtomlessBooleanAlgebra attribute) (autstr.tree_arithmetic.SkolemArithmetic attribute) (in module autstr.collapsible) pad() (in module autstr.utils.automata_tools) PADDING (autstr.arithmetic.BuechiArithmetic attribute) (autstr.arithmetic.BuechiArithmeticZ attribute) (autstr.powerset.MSO0 attribute) pair_node() (autstr.sparse_tree_automata.SparseTreeAutomaton method) parameters() (autstr.groups.IndexTwoCyclicGroups method) parse() (autstr.collapsible.Operation static method) partial_dfa() (in module autstr.utils.automata_tools) partial_tree_automaton() (in module autstr.utils.tree_automata_tools) 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) pop1() (autstr.collapsible.Stack method) pop2() (autstr.collapsible.Stack method) positions() (autstr.symbolic.signature.Function method) prefix() (in module autstr.composition) prepared (autstr.symbolic.compiler.Compiler attribute) (autstr.symbolic.expr.DfaAtom attribute) presentation (autstr.algebra.Z1pLocalization property) product() (in module autstr.collapsible_reach) (in module autstr.utils.automata_tools) project() (in module autstr.utils.tree_automata_tools) projection() (in module autstr.utils.automata_tools) push() (autstr.collapsible.Stack method) (autstr.utils.automata_tools.LengthLexHeap method) push_moves() (autstr.collapsible_reach.Relations method)

Q

quantify_letter() (autstr.mtbdd.NodeStore method)

R

RankWidthClass (class in autstr.tree_graphs) RankWidthGraph (class in autstr.tree_graphs) reach() (autstr.collapsible_reach.Relations method) reach_along() (autstr.collapsible.Level2CPG method) reachable() (autstr.collapsible.Level2CPS method) 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_reach() (in module autstr.collapsible_reach) regular_right_quotient() (autstr.sparse_automata.SparseDFA method) RegularTree (class in autstr.infinite_graphs) rel() (autstr.symbolic.context.SymbolicContext method) (autstr.symbolic.expr.Term method) (autstr.symbolic.SymbolicContext method) (autstr.symbolic.Term method) relabel_root() (in module autstr.collapsible_reach) Relation (class in autstr.symbolic) (class in autstr.symbolic.context) (in module autstr.collapsible_reach) relation() (autstr.presentations.DeferredRelations method) (autstr.symbolic.context.SymbolicContext method) (autstr.symbolic.SymbolicContext method) relation_arity() (autstr.symbolic.context.SymbolicContext method) (autstr.symbolic.SymbolicContext method) relation_symbols() (autstr.symbolic.Backend method) (autstr.symbolic.backends.Backend method) (autstr.symbolic.backends.ClassBackend method) (autstr.symbolic.backends.StructureBackend method) (autstr.symbolic.backends.TreeStructureBackend method) (autstr.symbolic.ClassBackend method) (autstr.symbolic.StructureBackend method)

relational_signature() (in module autstr.symbolic) (in module autstr.symbolic.signature) relations (autstr.symbolic.Signature attribute) (autstr.symbolic.signature.Signature attribute) Relations (class in autstr.collapsible_reach) relations() (autstr.collapsible_reach.Summary method) RelationSpec (in module autstr.interpretations) RelationSymbol (class in autstr.symbolic) (class in autstr.symbolic.context) relativized_query() (in module autstr.implicit) remap() (autstr.mtbdd.ComputedTable method) rename() (autstr.mtbdd.NodeStore method) reorder() (autstr.symbolic.context.Relation method) (autstr.symbolic.Relation method) RESERVED (autstr.collapsible.Level2CPS attribute) reserved_variable_names() (autstr.symbolic.Backend method) (autstr.symbolic.backends.Backend method) (autstr.symbolic.backends.ClassBackend method) (autstr.symbolic.ClassBackend method) reset() (autstr.mtbdd.NodeStore method) restore() (in module autstr.symbolic.compiler) restrict_alphabet() (in module autstr.utils.tree_automata_tools) ret (autstr.collapsible_reach.Summary attribute) 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) ROOT (autstr.ordinals.TreeOrdinal attribute) Rule (class in autstr.collapsible) run() (autstr.sparse_tree_automata.SparseTreeAutomaton method) (autstr.turing.TuringMachine 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) SEP (in module autstr.collapsible) serialize() (autstr.presentations.AutomaticPresentationSerializer class method) (autstr.sparse_automata.SparseDFASerializer class method) (autstr.sparse_tree_automata.SparseTreeAutomatonSerializer class method) (autstr.tree_presentations.TreeAutomaticPresentationSerializer class method) set_path() (autstr.mtbdd.NodeStore method) shift (autstr.mtbdd.ComputedTable attribute) shortlex_order() (in module autstr.utils.automata_tools) show_diagram() (autstr.sparse_automata.SparseDFA method) (autstr.sparse_automata.SparseNFA method) sigma (autstr.algebra.Z1pLocalization property) SIGN_NEGATIVE (autstr.arithmetic.BuechiArithmeticZ attribute) SIGN_POSITIVE (autstr.arithmetic.BuechiArithmeticZ attribute) Signature (class in autstr.symbolic) (class in autstr.symbolic.signature) 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.tree_arithmetic) SkolemArithmetic (class in autstr.tree_arithmetic) smith_normal_form() (in module autstr.chain_ring) solve_left() (in module autstr.chain_ring) span (autstr.tree_graphs.RankWidthGraph attribute) 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) SparseTreeAutomatonSerializer (class in autstr.sparse_tree_automata) sparsify() (autstr.sparse_automata.SparseDFA method) SPINE (autstr.ordinals.TreeOrdinal attribute) spine() (autstr.tree_groups.CutRankTreeGroups static method) (autstr.tree_groups.TreeExtraspecialGroups static method) SPLIT (autstr.tree_algebra.AtomlessBooleanAlgebra attribute) sta_from_delta() (in module autstr.tree_uniform) stable (autstr.collapsible_reach.Summaries attribute) stack (autstr.collapsible.Configuration attribute) Stack (class in autstr.collapsible) stack() (in module autstr.utils.automata_tools)

START (autstr.collapsible_reach.Annotation attribute) state (autstr.collapsible.Configuration attribute) (autstr.collapsible.Rule attribute) (autstr.turing.Configuration attribute) states (autstr.collapsible_reach.LabelAutomaton property) step() (autstr.collapsible.Level2CPS method) (autstr.implicit.ImplicitDFA method) (autstr.implicit.ImplicitTA method) (autstr.turing.TuringMachine method) string_chain() (in module autstr.utils.tree_automata_tools) StringGraph (class in autstr.graphs) StringSolutionSet (class in autstr.implicit) StructureBackend (class in autstr.symbolic) (class in autstr.symbolic.backends) sub() (autstr.algebra.Z1pLocalization method) subset_id() (autstr.sparse_automata.SparseNFA method) substitute() (autstr.symbolic.expr.Formula method) (autstr.symbolic.expr.Term method) (autstr.symbolic.Formula method) (autstr.symbolic.Term method) successors() (autstr.sparse_automata.SparseDFA method) Summaries (class in autstr.collapsible_reach) Summary (class in autstr.collapsible_reach) summary_of() (autstr.collapsible_reach.Relations method) symbol (autstr.collapsible.Letter attribute) (autstr.collapsible.Operation attribute) (autstr.collapsible.Rule attribute) (autstr.collapsible_reach.Summary attribute) (autstr.symbolic.expr.Atom attribute) symbolic() (autstr.collapsible.Level2CPG method) (autstr.groups.InfiniteExtraspecialGroup method) (autstr.infinite_graphs.InfiniteGraph method) (autstr.infinite_graphs.IntegerGrid method) (autstr.infinite_graphs.RegularTree method) (autstr.ordinals.Ordinal method) (autstr.presentations.AutomaticPresentation method) (autstr.tree_presentations.TreeAutomaticPresentation method) (autstr.turing.ConfigurationGraph method) (autstr.uniform.SymbolicClassWrapper method) (autstr.uniform.UniformlyAutomaticClass method) SymbolicClassWrapper (class in autstr.uniform) SymbolicContext (class in autstr.symbolic) (class in autstr.symbolic.context) SymbolicSymbolError, [1] symbols() (autstr.symbolic.context.SymbolicContext method) (autstr.symbolic.SymbolicContext 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) table (autstr.collapsible_reach.Annotation attribute) tagged_advice() (in module autstr.composition) tagged_element() (in module autstr.composition) tape (autstr.turing.Configuration attribute) target (autstr.collapsible.Rule attribute) Term (class in autstr.symbolic) (class in autstr.symbolic.expr) term() (autstr.symbolic.context.SymbolicContext method) (autstr.symbolic.SymbolicContext method) terminal() (autstr.mtbdd.NodeStore method) terminals() (autstr.mtbdd.NodeStore method) times() (autstr.symbolic.expr.Term method) (autstr.symbolic.Term method) to_bytes() (autstr.sparse_automata.SparseDFASerializer class method) (autstr.sparse_tree_automata.SparseTreeAutomatonSerializer class method) to_digits() (in module autstr.chain_ring) 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)

top() (autstr.collapsible.Stack method) transition() (autstr.sparse_automata.SparseDFA method) transitions (autstr.collapsible_reach.LabelAutomaton attribute) transitions() (autstr.collapsible_reach.Summaries method) (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_order() (in module autstr.utils.tree_automata_tools) tree_to_arrays() (in module autstr.sparse_tree_automata) tree_zero() (in module autstr.tree_presentations) TreeAutomaticPresentation (class in autstr.tree_presentations) TreeAutomaticPresentationSerializer (class in autstr.tree_presentations) TreeDepthClass (class in autstr.graphs) TreeDepthGraph (class in autstr.graphs) TreeExtraspecialGroups (class in autstr.tree_groups) TreeOrdinal (class in autstr.ordinals) TreeSolutionSet (class in autstr.implicit) TreeStructureBackend (class in autstr.symbolic.backends) TreeWidthClass (class in autstr.tree_graphs) TreeWidthGraph (class in autstr.tree_graphs) TuringMachine (class in autstr.turing)

U

UniformlyAutomaticClass (class in autstr.uniform) UniformlyTreeAutomaticClass (class in autstr.tree_uniform) union() (autstr.sparse_automata.SparseDFA method) (autstr.sparse_tree_automata.SparseTreeAutomaton method)

unit_inverse() (in module autstr.chain_ring) unpad() (in module autstr.utils.automata_tools) update() (autstr.presentations.AutomaticPresentation method) (autstr.tree_presentations.TreeAutomaticPresentation method) updates (autstr.symbolic.compiler.Compiler attribute)

V

vals (autstr.mtbdd.ComputedTable attribute) valuation() (in module autstr.chain_ring) value (autstr.symbolic.expr.Const attribute) values (autstr.collapsible_reach.Summaries attribute) Var (class in autstr.symbolic) (class in autstr.symbolic.expr) var() (autstr.symbolic.context.SymbolicContext method) (autstr.symbolic.SymbolicContext method) var_tables() (in module autstr.mtbdd) variable (autstr.symbolic.expr.ExInf attribute) variables() (autstr.symbolic.expr.Apply method) (autstr.symbolic.expr.Atom method) (autstr.symbolic.expr.Const method) (autstr.symbolic.expr.DfaAtom method) (autstr.symbolic.expr.ExInf method) (autstr.symbolic.expr.Formula method) (autstr.symbolic.expr.Not method) (autstr.symbolic.expr.Term method) (autstr.symbolic.expr.Var method) (autstr.symbolic.Formula method) (autstr.symbolic.Term method) (autstr.symbolic.Var method)

vars() (autstr.symbolic.context.SymbolicContext method) (autstr.symbolic.SymbolicContext method) VERSION (autstr.presentations.AutomaticPresentationSerializer attribute) (autstr.sparse_automata.SparseDFASerializer attribute) (autstr.sparse_tree_automata.SparseTreeAutomatonSerializer attribute) (autstr.tree_presentations.TreeAutomaticPresentationSerializer attribute) vertices (autstr.tree_graphs.CliqueWidthGraph attribute)

W

walked() (autstr.collapsible_reach.Relations method) width (autstr.collapsible.Stack property) (autstr.graphs.PathWidthGraph property) (autstr.tree_graphs.RankWidthGraph property) (autstr.tree_graphs.TreeWidthGraph property)

without_scaffolding() (autstr.collapsible_reach.Relations method) word_automaton() (in module autstr.utils.automata_tools) words (autstr.collapsible.Stack attribute)

Z

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

Z1pLocalization (class in autstr.algebra) zero() (in module autstr.utils.automata_tools)