Index _ | A | B | C | D | E | F | G | H | I | J | L | M | N | O | P | R | S | T | U | V | W _ _BirewriteBuilder (class in egglog) _EqBuilder (class in egglog) _NeBuilder (class in egglog) _RewriteBuilder (class in egglog) _SetBuilder (class in egglog) _UnionBuilder (class in egglog) _update_egg_decls() (egglog.Ruleset method) A Action (class in egglog) action (egglog.bindings.ActionCommand attribute) ActionCommand (class in egglog.bindings) AddRuleset (class in egglog.bindings) all_function_sizes() (egglog.EGraph method) app() (egglog.bindings.TermDag method) append() (egglog.Ruleset method) args (egglog.bindings.Call attribute) (egglog.bindings.Change attribute) (egglog.bindings.NewSort attribute) (egglog.bindings.Set attribute) (egglog.bindings.TermApp attribute) (egglog.bindings.UserDefined attribute) as_egglog_string (egglog.EGraph property) atom (egglog.bindings.Scan attribute) (egglog.bindings.SingleScan attribute) B back_off() (in module egglog) BackOff (class in egglog) BaseExpr (class in egglog) birewrite() (in module egglog) BiRewriteCommand (class in egglog.bindings) body (egglog.bindings.Rule attribute) Bool (class in egglog.bindings) BuiltinExpr (class in egglog) C Call (class in egglog.bindings) Change (class in egglog.bindings) change (egglog.bindings.Change attribute) changed (egglog.bindings.RuleSetReport attribute) Check (class in egglog.bindings) check() (egglog.EGraph method) (in module egglog) check_bool() (egglog.EGraph method) check_eq() (in module egglog) check_fail() (egglog.EGraph method) column (egglog.bindings.RustSpan attribute) (egglog.bindings.SingleScan attribute) columns (egglog.bindings.Scan attribute) command (egglog.bindings.Fail attribute) commands() (egglog.bindings.EGraph method) conditions (egglog.bindings.Rewrite attribute) config (egglog.bindings.Run attribute) constant() (in module egglog) Constructor (class in egglog.bindings) contents (egglog.bindings.SrcFile attribute) context (egglog.bindings.EggSmolError attribute) convert() (in module egglog) converter() (in module egglog) ConvertError cost (egglog.bindings.Constructor attribute) (egglog.bindings.ExtractBest attribute) (egglog.bindings.Variant attribute) CostModel (class in egglog) (class in egglog.bindings) cover (egglog.bindings.FusedIntersect attribute) CSVPrintFunctionMode (class in egglog.bindings) D Datatype (class in egglog.bindings) Datatypes (class in egglog.bindings) datatypes (egglog.bindings.Datatypes attribute) default_cost_model() (in module egglog) DefaultPrintFunctionMode (class in egglog.bindings) define_expr_method() (in module egglog) Delete (class in egglog.bindings) delete() (in module egglog) discarded_functions (egglog.bindings.SerializedEGraph attribute) display() (egglog.EGraph method) E egglog module egglog.bindings module EgglogSpan (class in egglog.bindings) EggSmolError EGraph (class in egglog) (class in egglog.bindings) Eq (class in egglog.bindings) eq() (in module egglog) eval_expr() (egglog.bindings.EGraph method) Expr (class in egglog) expr (egglog.bindings.Expr_ attribute) (egglog.bindings.Extract attribute) (egglog.bindings.Fact attribute) (egglog.bindings.ProveExists attribute) Expr_ (class in egglog.bindings) expr_parts() (in module egglog) expr_to_term() (egglog.bindings.TermDag method) exprs (egglog.bindings.Output attribute) ExprValueError Extract (class in egglog.bindings) extract() (egglog.EGraph method) extract_best() (egglog.bindings.Extractor method) extract_multiple() (egglog.EGraph method) extract_variants() (egglog.bindings.Extractor method) ExtractBest (class in egglog.bindings) Extractor (class in egglog.bindings) ExtractVariants (class in egglog.bindings) F Fact (class in egglog) (class in egglog.bindings) facts (egglog.bindings.Check attribute) (egglog.bindings.Prove attribute) Fail (class in egglog.bindings) file (egglog.bindings.EgglogSpan attribute) (egglog.bindings.Input attribute) (egglog.bindings.Output attribute) (egglog.bindings.PrintOverallStatistics attribute) (egglog.bindings.RustSpan attribute) filename (egglog.bindings.PrintFunction attribute) Float (class in egglog.bindings) freeze() (egglog.bindings.EGraph method) (egglog.EGraph method) FrozenEGraph (class in egglog.bindings) FrozenFunction (class in egglog.bindings) FrozenRow (class in egglog.bindings) Function (class in egglog.bindings) function (egglog.bindings.PrintFunctionOutput attribute) function() (in module egglog) function_size() (egglog.EGraph method) function_values() (egglog.EGraph method) FunctionCommand (class in egglog.bindings) functions (egglog.bindings.FrozenEGraph attribute) FusedIntersect (class in egglog.bindings) G get() (egglog.bindings.TermDag method) get_callable_args() (in module egglog) get_callable_fn() (in module egglog) get_constant_name() (in module egglog) get_cost() (in module egglog) get_let_name() (in module egglog) get_literal_value() (in module egglog) get_type_args() (in module egglog) get_var_name() (in module egglog) GraphvizKwargs (class in egglog) greedy_dag_cost_model() (in module egglog) GreedyDagCost (class in egglog) H has_custom_cost() (egglog.EGraph method) head (egglog.bindings.Rule attribute) I i (egglog.bindings.EgglogSpan attribute) ident (egglog.bindings.IdentSort attribute) IdentSort (class in egglog.bindings) Include (class in egglog.bindings) include() (egglog.EGraph method) inline_leaves() (egglog.bindings.SerializedEGraph method) Input (class in egglog.bindings) input (egglog.bindings.Schema attribute) input() (egglog.EGraph method) input_sorts (egglog.bindings.FrozenFunction attribute) inputs (egglog.bindings.FrozenRow attribute) (egglog.bindings.Relation attribute) Int (class in egglog.bindings) Intersect (class in egglog.bindings) is_let_binding (egglog.bindings.FrozenFunction attribute) IterationReport (class in egglog.bindings) iterations (egglog.bindings.RunReport attribute) J j (egglog.bindings.EgglogSpan attribute) L left (egglog.bindings.Eq attribute) length (egglog.bindings.Pop attribute) (egglog.bindings.PrintFunction attribute) (egglog.bindings.Push attribute) (egglog.bindings.Repeat attribute) Let (class in egglog.bindings) let() (egglog.EGraph method) (in module egglog) lhs (egglog.bindings.Let attribute) (egglog.bindings.Rewrite attribute) (egglog.bindings.Set attribute) (egglog.bindings.Union attribute) line (egglog.bindings.RustSpan attribute) Lit (class in egglog.bindings) lit() (egglog.bindings.TermDag method) lookup() (egglog.bindings.TermDag method) lookup_function() (egglog.bindings.EGraph method) lookup_function_value() (egglog.EGraph method) M map_ops() (egglog.bindings.SerializedEGraph method) merge (egglog.bindings.FunctionCommand attribute) merge_time (egglog.bindings.RuleSetReport attribute) merge_time_per_ruleset (egglog.bindings.RunReport attribute) method() (in module egglog) mode (egglog.bindings.PrintFunction attribute) (egglog.bindings.PrintFunctionOutput attribute) module egglog egglog.bindings msg (egglog.bindings.Panic attribute) N name (egglog.bindings.AddRuleset attribute) (egglog.bindings.BiRewriteCommand attribute) (egglog.bindings.Call attribute) (egglog.bindings.Constructor attribute) (egglog.bindings.Datatype attribute) (egglog.bindings.FunctionCommand attribute) (egglog.bindings.Input attribute) (egglog.bindings.NewSort attribute) (egglog.bindings.PrintFunction attribute) (egglog.bindings.PrintSize attribute) (egglog.bindings.Relation attribute) (egglog.bindings.Rewrite attribute) (egglog.bindings.RewriteCommand attribute) (egglog.bindings.Rule attribute) (egglog.bindings.Sort attribute) (egglog.bindings.SrcFile attribute) (egglog.bindings.TermApp attribute) (egglog.bindings.TermVar attribute) (egglog.bindings.UnstableCombinedRuleset attribute) (egglog.bindings.UserDefined attribute) (egglog.bindings.Var attribute) (egglog.bindings.Variant attribute) name() (egglog.bindings.Function method) ne() (in module egglog) NewSort (class in egglog.bindings) num_candidates (egglog.bindings.StageStats attribute) num_matches (egglog.bindings.RuleReport attribute) num_matches_per_rule (egglog.bindings.RunReport attribute) num_succeeded (egglog.bindings.StageStats attribute) O Output (class in egglog.bindings) output (egglog.bindings.FrozenRow attribute) (egglog.bindings.Schema attribute) (egglog.bindings.UserDefinedOutput attribute) output_sort (egglog.bindings.FrozenFunction attribute) OverallStatistics (class in egglog.bindings) P Panic (class in egglog.bindings) panic() (in module egglog) PanicSpan (class in egglog.bindings) parse_program() (egglog.bindings.EGraph method) path (egglog.bindings.Include attribute) Plan (class in egglog.bindings) plan (egglog.bindings.RuleReport attribute) Pop (class in egglog.bindings) pop() (egglog.EGraph method) presort_and_args (egglog.bindings.Sort attribute) PrintAllFunctionsSize (class in egglog.bindings) PrintFunction (class in egglog.bindings) PrintFunctionOutput (class in egglog.bindings) PrintFunctionSize (class in egglog.bindings) PrintOverallStatistics (class in egglog.bindings) PrintSize (class in egglog.bindings) proof (egglog.bindings.ProveExistsOutput attribute) Prove (class in egglog.bindings) ProveExists (class in egglog.bindings) ProveExistsOutput (class in egglog.bindings) Push (class in egglog.bindings) push() (egglog.EGraph method) py_eval_fn() (in module egglog) R rebuild_time (egglog.bindings.IterationReport attribute) rebuild_time_per_ruleset (egglog.bindings.RunReport attribute) register() (egglog.EGraph method) (egglog.Ruleset method) Relation (class in egglog.bindings) relation() (in module egglog) Repeat (class in egglog.bindings) report (egglog.bindings.OverallStatistics attribute) (egglog.bindings.RunScheduleOutput attribute) Rewrite (class in egglog.bindings) rewrite (egglog.bindings.BiRewriteCommand attribute) (egglog.bindings.RewriteCommand attribute) rewrite() (in module egglog) RewriteCommand (class in egglog.bindings) RewriteOrRule (class in egglog) rhs (egglog.bindings.Let attribute) (egglog.bindings.Rewrite attribute) (egglog.bindings.Set attribute) (egglog.bindings.Union attribute) right (egglog.bindings.Eq attribute) rows (egglog.bindings.FrozenFunction attribute) Rule (class in egglog.bindings) rule (egglog.bindings.RuleCommand attribute) rule() (in module egglog) rule_reports (egglog.bindings.RuleSetReport attribute) rule_set_report (egglog.bindings.IterationReport attribute) RuleCommand (class in egglog.bindings) RuleReport (class in egglog.bindings) Ruleset (class in egglog) ruleset (egglog.bindings.Rule attribute) (egglog.bindings.RunConfig attribute) ruleset() (in module egglog) RuleSetReport (class in egglog.bindings) rulesets (egglog.bindings.UnstableCombinedRuleset attribute) Run (class in egglog.bindings) run() (egglog.EGraph method) (in module egglog) run_program() (egglog.bindings.EGraph method) RunConfig (class in egglog.bindings) RunReport (class in egglog) (class in egglog.bindings) RunSchedule (class in egglog.bindings) RunScheduleOutput (class in egglog.bindings) RustSpan (class in egglog.bindings) S Saturate (class in egglog.bindings) saturate() (egglog.EGraph method) (egglog.Schedule method) saturate_inline_leaves() (egglog.bindings.SerializedEGraph method) Scan (class in egglog.bindings) scans (egglog.bindings.Intersect attribute) Schedule (class in egglog) schedule (egglog.bindings.Repeat attribute) (egglog.bindings.RunSchedule attribute) (egglog.bindings.Saturate attribute) schedules (egglog.bindings.Sequence attribute) Schema (class in egglog.bindings) schema (egglog.bindings.Constructor attribute) (egglog.bindings.FunctionCommand attribute) scope() (egglog.BackOff method) search_and_apply_time (egglog.bindings.RuleReport attribute) (egglog.bindings.RuleSetReport attribute) search_and_apply_time_per_rule (egglog.bindings.RunReport attribute) search_and_apply_time_per_ruleset (egglog.bindings.RunReport attribute) seq() (in module egglog) Sequence (class in egglog.bindings) serialize() (egglog.bindings.EGraph method) SerializedEGraph (class in egglog.bindings) Set (class in egglog.bindings) set_() (in module egglog) set_cost() (in module egglog) set_report_level() (egglog.bindings.EGraph method) (egglog.EGraph method) setup_tracing() (in module egglog.bindings) shutdown_tracing() (in module egglog.bindings) SingleScan (class in egglog.bindings) size (egglog.bindings.PrintFunctionSize attribute) size() (egglog.bindings.TermDag method) sizes (egglog.bindings.PrintAllFunctionsSize attribute) Sort (class in egglog.bindings) sort (egglog.bindings.IdentSort attribute) span (egglog.bindings.AddRuleset attribute) (egglog.bindings.Call attribute) (egglog.bindings.Change attribute) (egglog.bindings.Check attribute) (egglog.bindings.Constructor attribute) (egglog.bindings.Datatype attribute) (egglog.bindings.Datatypes attribute) (egglog.bindings.Eq attribute) (egglog.bindings.Expr_ attribute) (egglog.bindings.Extract attribute) (egglog.bindings.Fail attribute) (egglog.bindings.FunctionCommand attribute) (egglog.bindings.Include attribute) (egglog.bindings.Input attribute) (egglog.bindings.Let attribute) (egglog.bindings.Lit attribute) (egglog.bindings.Output attribute) (egglog.bindings.Panic attribute) (egglog.bindings.Pop attribute) (egglog.bindings.PrintFunction attribute) (egglog.bindings.PrintOverallStatistics attribute) (egglog.bindings.PrintSize attribute) (egglog.bindings.Prove attribute) (egglog.bindings.ProveExists attribute) (egglog.bindings.Relation attribute) (egglog.bindings.Repeat attribute) (egglog.bindings.Rewrite attribute) (egglog.bindings.Rule attribute) (egglog.bindings.Run attribute) (egglog.bindings.Saturate attribute) (egglog.bindings.Sequence attribute) (egglog.bindings.Set attribute) (egglog.bindings.Sort attribute) (egglog.bindings.Union attribute) (egglog.bindings.UnstableCombinedRuleset attribute) (egglog.bindings.UserDefined attribute) (egglog.bindings.Var attribute) (egglog.bindings.Variant attribute) split_classes() (egglog.bindings.SerializedEGraph method) SrcFile (class in egglog.bindings) StageInfo (class in egglog.bindings) stages (egglog.bindings.Plan attribute) StageStats (class in egglog.bindings) stats() (egglog.EGraph method) String (class in egglog.bindings) Subsume (class in egglog.bindings) subsume (egglog.bindings.RewriteCommand attribute) subsume() (in module egglog) subsumed (egglog.bindings.FrozenRow attribute) SubVariants (class in egglog.bindings) sym (egglog.bindings.Change attribute) T term (egglog.bindings.ExtractBest attribute) term_to_expr() (egglog.bindings.TermDag method) TermApp (class in egglog.bindings) TermDag (class in egglog.bindings) termdag (egglog.bindings.ExtractBest attribute) (egglog.bindings.ExtractVariants attribute) (egglog.bindings.PrintFunctionOutput attribute) TermLit (class in egglog.bindings) terms (egglog.bindings.ExtractVariants attribute) (egglog.bindings.PrintFunctionOutput attribute) TermVar (class in egglog.bindings) TimeOnly (class in egglog.bindings) to_dot() (egglog.bindings.SerializedEGraph method) to_intersect (egglog.bindings.FusedIntersect attribute) to_json() (egglog.bindings.SerializedEGraph method) to_string() (egglog.bindings.TermDag method) truncated_functions (egglog.bindings.SerializedEGraph attribute) types (egglog.bindings.Variant attribute) U unextractable (egglog.bindings.Constructor attribute) (egglog.bindings.Variant attribute) Union (class in egglog.bindings) union() (in module egglog) Unit (class in egglog) (class in egglog.bindings) unstable_combine_rulesets() (in module egglog) UnstableCombinedRuleset (class in egglog.bindings) until (egglog.bindings.RunConfig attribute) updated (egglog.bindings.RunReport attribute) UserDefined (class in egglog.bindings) UserDefinedCommandOutput (class in egglog.bindings) UserDefinedOutput (class in egglog.bindings) V Value (class in egglog.bindings) value (egglog.bindings.Bool attribute) (egglog.bindings.Float attribute) (egglog.bindings.Int attribute) (egglog.bindings.Lit attribute) (egglog.bindings.String attribute) (egglog.bindings.TermLit attribute) value_to_bigint() (egglog.bindings.EGraph method) value_to_bigrat() (egglog.bindings.EGraph method) value_to_bool() (egglog.bindings.EGraph method) value_to_f64() (egglog.bindings.EGraph method) value_to_function() (egglog.bindings.EGraph method) value_to_i64() (egglog.bindings.EGraph method) value_to_map() (egglog.bindings.EGraph method) value_to_multiset() (egglog.bindings.EGraph method) value_to_pyobject() (egglog.bindings.EGraph method) value_to_rational() (egglog.bindings.EGraph method) value_to_set() (egglog.bindings.EGraph method) value_to_string() (egglog.bindings.EGraph method) value_to_vec() (egglog.bindings.EGraph method) Var (class in egglog.bindings) var() (egglog.bindings.TermDag method) (in module egglog) Variant (class in egglog.bindings) variants (egglog.bindings.Datatype attribute) (egglog.bindings.Extract attribute) (egglog.bindings.SubVariants attribute) vars_() (in module egglog) W WithPlan (class in egglog.bindings)