Index A | B | C | D | E | F | H | I | L | M | N | O | P | Q | R | S | T | U | V A action (egglog.bindings.ActionCommand attribute) ActionCommand (class in egglog.bindings) AddRuleset (class in egglog.bindings) apply_time_per_rule (egglog.bindings.RunReport attribute) apply_time_per_ruleset (egglog.bindings.RunReport attribute) args (egglog.bindings.Call attribute) (egglog.bindings.Delete attribute) (egglog.bindings.Set attribute) (egglog.bindings.TermApp attribute) B Best (class in egglog.bindings) 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) Check (class in egglog.bindings) CheckProof (class in egglog.bindings) command (egglog.bindings.Fail attribute) conditions (egglog.bindings.Rewrite attribute) config (egglog.bindings.Run attribute) constructor (egglog.bindings.Relation attribute) context (egglog.bindings.EggSmolError attribute) cost (egglog.bindings.Best attribute) (egglog.bindings.FunctionDecl attribute) (egglog.bindings.Variant attribute) 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) E egglog.bindings module EggSmolError EGraph (class in egglog.bindings) Eq (class in egglog.bindings) 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 (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) exprs (egglog.bindings.Calc attribute) (egglog.bindings.Eq attribute) (egglog.bindings.Output attribute) Extract (class in egglog.bindings) extract_report() (egglog.bindings.EGraph method) F F64 (class in egglog.bindings) Fact (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) FunctionDecl (class in egglog.bindings) 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) Include (class in egglog.bindings) inline_leaves() (egglog.bindings.SerializedEGraph method) Input (class in egglog.bindings) input (egglog.bindings.Schema attribute) 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) 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) module egglog.bindings 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.Var attribute) (egglog.bindings.Variant attribute) nodes (egglog.bindings.TermDag attribute) O Output (class in egglog.bindings) output (egglog.bindings.Schema attribute) P Panic (class in egglog.bindings) parse_program() (egglog.bindings.EGraph method) path (egglog.bindings.Include attribute) Pop (class in egglog.bindings) 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) PyObjectSort (class in egglog.bindings) Q QueryExtract (class in egglog.bindings) R rebuild_time_per_ruleset (egglog.bindings.RunReport attribute) Relation (class in egglog.bindings) Repeat (class in egglog.bindings) Rewrite (class in egglog.bindings) rewrite (egglog.bindings.BiRewriteCommand attribute) (egglog.bindings.RewriteCommand attribute) RewriteCommand (class in egglog.bindings) 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) RuleCommand (class in egglog.bindings) ruleset (egglog.bindings.RuleCommand attribute) (egglog.bindings.RunConfig attribute) Run (class in egglog.bindings) 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_inline_leaves() (egglog.bindings.SerializedEGraph method) 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) Sequence (class in egglog.bindings) serialize() (egglog.bindings.EGraph method) SerializedEGraph (class in egglog.bindings) Set (class in egglog.bindings) SetOption (class in egglog.bindings) Simplify (class in egglog.bindings) Sort (class in egglog.bindings) sort (egglog.bindings.Declare attribute) (egglog.bindings.IdentSort attribute) store() (egglog.bindings.PyObjectSort method) String (class in egglog.bindings) sym (egglog.bindings.Delete 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) Unit (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) Variant (class in egglog.bindings) Variants (class in egglog.bindings) variants (egglog.bindings.Datatype attribute) (egglog.bindings.Extract attribute) (egglog.bindings.QueryExtract attribute)