Functions — github.com/Bastacyclop/egg-sketches

hub / github.com/Bastacyclop/egg-sketches / functions

Functions101 in github.com/Bastacyclop/egg-sketches

⨍ Functions 101◇ Types & classes 15

↓ 22 callersMethodchildren

(&self)

src/sketch.rs:63

↓ 21 callersMethodadd

(&mut self, node: L)

src/hashcons.rs:18

↓ 17 callersMethodextend

(&mut self, iter: I)

src/analysis.rs:94

↓ 14 callersMethodinsert

(&mut self, t: T)

src/analysis.rs:88

↓ 12 callersFunctioncomparing_eclass_extract_sketch

( s: &Sketch<L>, cost_f1: CF, cost_f2: CF, egraph: &EGraph<L, A>, id: Id, )

src/util.rs:79

↓ 7 callersFunctionone_shot_analysis

( egraph: &EGraph<L, A>, mut analysis: B, data: &mut HashMap<Id, B::Data>, )

src/analysis.rs:19

↓ 7 callersFunctionsatisfies_sketch

Returns the set of e-classes of `egraph` that represent at least one program satisfying `s`.

src/extract.rs:17

↓ 4 callersFunctioncommon_rules

()

examples/bench_tiling.rs:32

↓ 4 callersFunctionreach_sketches_from_exprs

( search_name: &str, starts: &[Expr], rules: &[Rewrite], sketch_goals: &[Sketch], expected

examples/bench_tiling.rs:258

↓ 4 callersFunctiontile

( ts: TilingSearch, name: &str, start: &str, split_sketches: &[&str], split_expected: &[&s

examples/bench_tiling.rs:169

↓ 4 callersFunctiontranspose_maps

()

examples/bench_tiling.rs:43

↓ 3 callersMethodchildren_mut

(&mut self)

src/sketch.rs:73

↓ 3 callersFunctioncommon_rules

()

tests/maps.rs:28

↓ 3 callersFunctiongrow_egraph

(egraph: EGraph, node_limit: usize, rules: &[Rewrite])

tests/maps.rs:176

↓ 3 callersFunctionsketch_extract_and_check

(egraph: &EGraph, eclass: Id, sketch: &Sketch, goal: &Expr)

tests/maps.rs:187

↓ 3 callersFunctionsplit_map

()

examples/bench_tiling.rs:50

↓ 2 callersMethoddiscriminant

(&self)

src/sketch.rs:49

↓ 2 callersFunctioneclass_extract_sketch

Returns the best program satisfying `s` according to `cost_f` that is represented in the `id` e-class of `egraph`, if it exists.

src/extract.rs:168

↓ 2 callersFunctioneclass_satisfies_sketch

Is the `id` e-class of `egraph` representing at least one program satisfying `s`?

src/extract.rs:8

↓ 2 callersMethodextract

(&self, id: Id)

src/hashcons.rs:28

↓ 2 callersFunctionextract_only_contains_candidate

( exprs: &mut ExprHashCons<L>, cost_f: &mut CF, egraph: &EGraph<L, A>, enode: &L, mut analysis_of: i

src/extract_common.rs:69

↓ 2 callersFunctiongrow_egraph_until

( search_name: &str, egraph: EGraph<L, A>, rules: &[Rewrite<L, A>], mut satisfied: S )

src/util.rs:4

↓ 2 callersFunctioniteration_stats

search name, iteration number, physical memory, virtual memory, e-graph nodes, e-graph classes, applied rules, total time, hook time, search time, app

src/util.rs:55

↓ 2 callersFunctionmerge_best_option

( a: &mut Option<(Cost, Id)>, b: Option<(Cost, Id)>)

src/extract.rs:393

↓ 2 callersFunctionpush_extract_contains_candidates

( candidates: &mut Vec<(CF::Cost, Id)>, exprs: &mut ExprHashCons<L>, cost_f: &mut CF, extracted: &Hash

src/extract_common.rs:4

↓ 2 callersFunctionstring_of_expr

(e: &Expr)

tests/maps.rs:203

↓ 2 callersFunctionstring_of_expr

(e: &Expr)

tests/math-sketch.rs:394

↓ 2 callersFunctionstring_of_expr

(e: &Expr, flatten_o: bool)

examples/bench_tiling.rs:304

↓ 2 callersFunctionstring_of_expr

(e: &Expr)

examples/bench_math_sketch.rs:293

↓ 2 callersFunctiontranspose_maps

()

tests/maps.rs:39

↓ 1 callersFunctionbinomial4_sketches

(sub_search: Option<usize>)

examples/bench_math_sketch.rs:262

↓ 1 callersFunctioncurveFun

(x, a, b, c)

bench/plot.py:68

↓ 1 callersFunctiondatapoint

(search, time_col)

bench/plot_time.py:44

↓ 1 callersFunctionextract_rec

( egraph_id: Id, sketch: &Sketch<L>, sketch_id: Id, cost_f: &mut CF, egraph: &EGraph<L, A>, exprs:

src/recursive_extract.rs:45

↓ 1 callersFunctionextract_sketch

( sketch: &Sketch<L>, mut cost_f: CF, egraph: &EGraph<L, A>, )

src/extract.rs:187

↓ 1 callersFunctionextract_sketch_rec

( sketch: &Sketch<L>, sketch_id: Id, cost_f: &mut CF, egraph: &EGraph<L, A>, exprs: &mut E

src/extract.rs:222

↓ 1 callersFunctionfind_sketch

insprired on https://github.com/opencompl/egg-tactic-code/blob/8b4aa748047a43213fc2c0dfca6b7af4a475f785/json-egg/src/main.rs#L368

tests/boolean-algebra.rs:63

↓ 1 callersFunctionfind_sketch

insprired on https://github.com/opencompl/egg-tactic-code/blob/8b4aa748047a43213fc2c0dfca6b7af4a475f785/json-egg/src/main.rs#L368

tests/math-sketch.rs:130

↓ 1 callersFunctionfind_sketch

insprired on https://github.com/opencompl/egg-tactic-code/blob/8b4aa748047a43213fc2c0dfca6b7af4a475f785/json-egg/src/main.rs#L368

examples/bench_math_sketch.rs:132

↓ 1 callersFunctionlatex_of_expr_rec

(nodes: &[L], i: usize, acc: &mut String)

examples/bench_tiling.rs:344

↓ 1 callersMethodmake

( &mut self, _egraph: &EGraph<L, A>, enode: &L, analysis_of: &'a impl Fn(Id) -

src/analysis.rs:113

↓ 1 callersMethodmerge

(&mut self, a: &mut Self::Data, b: Self::Data)

src/analysis.rs:125

↓ 1 callersFunctionplotCurve

(xs, ys)

bench/plot.py:73

↓ 1 callersFunctionplotOne

↓ 1 callersFunctionreorder_3d

()

examples/bench_tiling.rs:230

↓ 1 callersFunctionresolve_pending_analysis

( egraph: &EGraph<L, A>, analysis: &mut B, data: &mut HashMap<Id, B::Data>, analysis_pending:

src/analysis.rs:41

↓ 1 callersFunctionrules

()

tests/math-sketch.rs:189

↓ 1 callersFunctionrules

()

examples/bench_math_sketch.rs:187

↓ 1 callersFunctionsatisfies_sketch_rec

( s_nodes: &[SketchNode<L>], s_index: Id, egraph: &EGraph<L, A>, memo: &mut HashMap<Id, HashSe

src/extract.rs:28

↓ 1 callersFunctionsketch_extract_and_check

(egraph: &EGraph, eclass: Id, sketch: &Sketch, goal: &Expr)

examples/bench_tiling.rs:288

↓ 1 callersFunctionsketch_guided_search

( sketches: &[egg_sketches::Sketch<L>], start: &RecExpr<L>, rewrites : &[Rewrite], iter_limit: usize, node

tests/math-sketch.rs:166

↓ 1 callersFunctionsketch_guided_search

( name: &str, sub_search: Option<usize>, // 0 for first guide, None for unguided start: &RecExpr<L

examples/bench_math_sketch.rs:160

↓ 1 callersFunctionsplit_map

()

tests/maps.rs:46

↓ 1 callersFunctionstring_of_expr_rec

(nodes: &[Lang], i: usize, acc: &mut String)

tests/maps.rs:209

↓ 1 callersFunctionstring_of_expr_rec

(nodes: &[Lang], i: usize, acc: &mut String)

tests/math-sketch.rs:400

↓ 1 callersFunctionstring_of_expr_rec

(nodes: &[Lang], i: usize, flatten_o: bool, acc: &mut String)

examples/bench_tiling.rs:310

↓ 1 callersFunctionstring_of_expr_rec

(nodes: &[Lang], i: usize, acc: &mut String)

examples/bench_math_sketch.rs:299

↓ 1 callersFunctiontile_1d

(ts: TilingSearch)

examples/bench_tiling.rs:64

↓ 1 callersFunctiontile_2d

(ts: TilingSearch)

examples/bench_tiling.rs:77

↓ 1 callersFunctiontile_3d

(ts: TilingSearch)

examples/bench_tiling.rs:100

↓ 1 callersFunctiontile_4d

(ts: TilingSearch)

examples/bench_tiling.rs:146

Functionbinomial4_sketches

()

tests/math-sketch.rs:355

Functionbug202509

()

src/extract.rs:533

Functioncontains_only

()

src/extract.rs:604

FunctioncurveFunInverse

(y, a, b, c)

bench/plot.py:71

Functioneclass_extract_sketch

Returns the best program satisfying `s` according to `cost_f` that is represented in the `id` e-class of `egraph`, if it exists.

src/recursive_extract.rs:7

Methodfmt

(&self, f: &mut Formatter<'_>)

src/sketch.rs:85

Methodfrom_op

(op: &str, children: Vec<Id>)

src/sketch.rs:108

Functionis_const

(var: &str)

tests/math-sketch.rs:100

Functionis_const

(var: &str)

examples/bench_math_sketch.rs:102

Functionis_const_or_distinct_var

(v: &str, w: &str)

tests/math-sketch.rs:86

Functionis_const_or_distinct_var

(v: &str, w: &str)

examples/bench_math_sketch.rs:88

Functionis_not_zero

(var: &str)

tests/math-sketch.rs:116

Functionis_not_zero

(var: &str)

examples/bench_math_sketch.rs:118

Functionis_sym

(var: &str)

tests/math-sketch.rs:106

Functionis_sym

(var: &str)

examples/bench_math_sketch.rs:108

Functionlatex_of_expr

(e: &egg::RecExpr<L>)

examples/bench_tiling.rs:338

Functionmain

()

examples/bench_tiling.rs:377

Functionmain

()

examples/bench_math_sketch.rs:326

Methodmake

( &mut self, _egraph: &EGraph<L, A>, enode: &L, analysis_of: &'a impl Fn(Id) -

src/extract.rs:119

Methodmake

(egraph: &mut EGraph, enode: &Lang)

tests/boolean-algebra.rs:31

Methodmake

(egraph: &mut EGraph, enode: &Lang)

tests/math-sketch.rs:31

Methodmake

(egraph: &mut EGraph, enode: &Lang)

examples/bench_math_sketch.rs:33

Methodmatches

(&self, _other: &Self)

src/sketch.rs:59

Methodmerge

(&mut self, a: &mut Self::Data, b: Self::Data)

src/extract.rs:131

Methodmerge

(&mut self, to: &mut Self::Data, from: Self::Data)

tests/boolean-algebra.rs:51

Methodmerge

(&mut self, to: &mut Self::Data, from: Self::Data)

tests/math-sketch.rs:55

Methodmerge

(&mut self, to: &mut Self::Data, from: Self::Data)

examples/bench_math_sketch.rs:57

Methodmodify

(egraph: &mut EGraph, id: Id)

tests/math-sketch.rs:62

Methodmodify

(egraph: &mut EGraph, id: Id)

examples/bench_math_sketch.rs:64

Functionparse_and_print

()

src/sketch.rs:151

Functionreorder_3d

TODO: fix recursive algorithm variant

tests/maps.rs:52

Functionrules

()

tests/boolean-algebra.rs:124

Functionsimple_analysis

()

src/analysis.rs:143

Functionsimple_extract

()

src/extract.rs:569

Functionsketch_guided_search

( sketches: &[egg_sketches::Sketch<L>], start: &RecExpr<L>, rewrites : &[Rewrite], iter_limit: usize, node

tests/boolean-algebra.rs:101

Functiontile_3d

takes > 1mn

tests/maps.rs:95

next →1–100 of 101, ranked by callers