Index _ | A | B | C | D | E | F | G | H | I | L | M | N | O | P | Q | R | S | T | U | V _ _BirewriteBuilder (class in egglog) _EqBuilder (class in egglog) _NeBuilder (class in egglog) _repr_html_() (egglog.EGraph method) _repr_mimebundle_() (egglog.EGraph method) _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) append() (egglog.Ruleset method) apply_time_per_rule (egglog.bindings.RunReport attribute) apply_time_per_ruleset (egglog.bindings.RunReport attribute) args (egglog.bindings.Call attribute) (egglog.bindings.Change attribute) (egglog.bindings.Set attribute) (egglog.bindings.TermApp attribute) as_egglog_string (egglog.EGraph property) B Best (class in egglog.bindings) birewrite() (in module egglog) BiRewriteCommand (class in egglog.bindings) body (egglog.bindings.Rule attribute) Bool (class in egglog.bindings) C Calc (class in egglog.bindings) Call (class in egglog.bindings) Change (class in egglog.bindings) change (egglog.bindings.Change attribute) Check (class in egglog.bindings) check() (egglog.EGraph method) (in module egglog) check_eq() (in module egglog) check_fail() (egglog.EGraph method) CheckProof (class in egglog.bindings) 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 (egglog.bindings.Relation attribute) context (egglog.bindings.EggSmolError attribute) convert() (in module egglog) converter() (in module egglog) cost (egglog.bindings.Best attribute) (egglog.bindings.FunctionDecl attribute) (egglog.bindings.Variant attribute) current() (egglog.EGraph class method) D Datatype (class in egglog.bindings) decl (egglog.bindings.Function attribute) Declare (class in egglog.bindings) default (egglog.bindings.FunctionDecl attribute) Delete (class in egglog.bindings) delete() (in module egglog) display() (egglog.EGraph method) E egglog module egglog.bindings module EggSmolError EGraph (class in egglog) (class in egglog.bindings) Eq (class in egglog.bindings) eq() (in module egglog) eval() (egglog.EGraph method) eval_bool() (egglog.bindings.EGraph method) eval_f64() (egglog.bindings.EGraph method) eval_i64() (egglog.bindings.EGraph method) eval_py_object() (egglog.bindings.EGraph method) eval_rational() (egglog.bindings.EGraph method) eval_string() (egglog.bindings.EGraph method) Expr (class in egglog) expr (egglog.bindings.Expr_ attribute) (egglog.bindings.Extract attribute) (egglog.bindings.Fact attribute) (egglog.bindings.QueryExtract attribute) (egglog.bindings.Simplify attribute) Expr_ (class in egglog.bindings) expr_parts() (in module egglog) exprs (egglog.bindings.Calc attribute) (egglog.bindings.Eq attribute) (egglog.bindings.Output attribute) Extract (class in egglog.bindings) extract() (egglog.EGraph method) extract_multiple() (egglog.EGraph method) extract_report() (egglog.bindings.EGraph method) F F64 (class in egglog.bindings) Fact (class in egglog) (class in egglog.bindings) facts (egglog.bindings.Check attribute) Fail (class in egglog.bindings) file (egglog.bindings.Input attribute) (egglog.bindings.Output attribute) Function (class in egglog.bindings) function() (in module egglog) FunctionDecl (class in egglog.bindings) G GraphvizKwargs (class in egglog) H hashcons (egglog.bindings.TermDag attribute) head (egglog.bindings.Rule attribute) I ident (egglog.bindings.IdentSort attribute) identifiers (egglog.bindings.Calc attribute) IdentSort (class in egglog.bindings) ignore_viz (egglog.bindings.FunctionDecl attribute) 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) inputs (egglog.bindings.Relation attribute) Int (class in egglog.bindings) L 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) Lit (class in egglog.bindings) M map_ops() (egglog.bindings.SerializedEGraph method) merge (egglog.bindings.FunctionDecl attribute) merge_action (egglog.bindings.FunctionDecl attribute) method() (in module egglog) module egglog egglog.bindings Module (class in egglog) msg (egglog.bindings.Panic attribute) N name (egglog.bindings.AddRuleset attribute) (egglog.bindings.BiRewriteCommand attribute) (egglog.bindings.Call attribute) (egglog.bindings.Datatype attribute) (egglog.bindings.Declare attribute) (egglog.bindings.FunctionDecl attribute) (egglog.bindings.Input attribute) (egglog.bindings.PrintFunction attribute) (egglog.bindings.PrintSize attribute) (egglog.bindings.RewriteCommand attribute) (egglog.bindings.RuleCommand attribute) (egglog.bindings.SetOption attribute) (egglog.bindings.Sort attribute) (egglog.bindings.TermApp attribute) (egglog.bindings.TermVar attribute) (egglog.bindings.UnstableCombinedRuleset attribute) (egglog.bindings.Var attribute) (egglog.bindings.Variant attribute) ne() (in module egglog) nodes (egglog.bindings.TermDag attribute) num_matches_per_rule (egglog.bindings.RunReport attribute) O Output (class in egglog.bindings) output (egglog.bindings.Schema attribute) P Panic (class in egglog.bindings) panic() (in module egglog) parse_program() (egglog.bindings.EGraph method) path (egglog.bindings.Include attribute) Pop (class in egglog.bindings) pop() (egglog.EGraph method) presort_and_args (egglog.bindings.Sort attribute) PrintFunction (class in egglog.bindings) PrintOverallStatistics (class in egglog.bindings) PrintSize (class in egglog.bindings) Push (class in egglog.bindings) push() (egglog.EGraph method) py_eval_fn() (in module egglog) PyObjectSort (class in egglog.bindings) Q QueryExtract (class in egglog.bindings) R rebuild_time_per_ruleset (egglog.bindings.RunReport attribute) register() (egglog.Ruleset method) Relation (class in egglog.bindings) relation() (in module egglog) Repeat (class in egglog.bindings) 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) Rule (class in egglog.bindings) rule (egglog.bindings.RuleCommand attribute) rule() (in module egglog) RuleCommand (class in egglog.bindings) Ruleset (class in egglog) ruleset (egglog.bindings.RuleCommand attribute) (egglog.bindings.RunConfig attribute) ruleset() (in module egglog) rulesets (egglog.bindings.UnstableCombinedRuleset attribute) Run (class in egglog.bindings) run() (egglog.EGraph method) (in module egglog) run_program() (egglog.bindings.EGraph method) run_report() (egglog.bindings.EGraph method) RunConfig (class in egglog.bindings) RunReport (class in egglog.bindings) RunSchedule (class in egglog.bindings) S Saturate (class in egglog.bindings) saturate() (egglog.Schedule method) saturate_inline_leaves() (egglog.bindings.SerializedEGraph method) Schedule (class in egglog) schedule (egglog.bindings.Repeat attribute) (egglog.bindings.RunSchedule attribute) (egglog.bindings.Saturate attribute) (egglog.bindings.Simplify attribute) schedules (egglog.bindings.Sequence attribute) Schema (class in egglog.bindings) schema (egglog.bindings.FunctionDecl attribute) search_time_per_rule (egglog.bindings.RunReport attribute) search_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) SetOption (class in egglog.bindings) Simplify (class in egglog.bindings) simplify() (egglog.EGraph method) (in module egglog) Sort (class in egglog.bindings) sort (egglog.bindings.Declare attribute) (egglog.bindings.IdentSort attribute) store() (egglog.bindings.PyObjectSort method) String (class in egglog.bindings) Subsume (class in egglog.bindings) subsume (egglog.bindings.RewriteCommand attribute) subsume() (in module egglog) sym (egglog.bindings.Change attribute) T term (egglog.bindings.Best attribute) TermApp (class in egglog.bindings) TermDag (class in egglog.bindings) termdag (egglog.bindings.Best attribute) (egglog.bindings.Variants attribute) termdag_term_to_expr() (in module egglog.bindings) TermLit (class in egglog.bindings) terms (egglog.bindings.Variants attribute) TermVar (class in egglog.bindings) to_dot() (egglog.bindings.SerializedEGraph method) to_json() (egglog.bindings.SerializedEGraph method) types (egglog.bindings.Variant attribute) U unextractable (egglog.bindings.FunctionDecl attribute) Union (class in egglog.bindings) union() (in module egglog) Unit (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) V value (egglog.bindings.Bool attribute) (egglog.bindings.F64 attribute) (egglog.bindings.Int attribute) (egglog.bindings.Lit attribute) (egglog.bindings.SetOption attribute) (egglog.bindings.String attribute) (egglog.bindings.TermLit attribute) Var (class in egglog.bindings) var() (in module egglog) Variant (class in egglog.bindings) Variants (class in egglog.bindings) variants (egglog.bindings.Datatype attribute) (egglog.bindings.Extract attribute) (egglog.bindings.QueryExtract attribute) vars_() (in module egglog)