SYMBOL INDEX (178 symbols across 18 files)

FILE: egg-herbie/src/lib.rs
  type Context (line 17) | pub struct Context {
  function egraph_create (line 25) | pub unsafe extern "C" fn egraph_create() -> *mut Context {
  function egraph_destroy (line 34) | pub unsafe extern "C" fn egraph_destroy(ptr: *mut Context) {
  function destroy_egraphiters (line 39) | pub unsafe extern "C" fn destroy_egraphiters(ptr: *mut c_void) {
  function destroy_string (line 46) | pub unsafe extern "C" fn destroy_string(ptr: *mut c_char) {
  function string_length (line 51) | pub unsafe extern "C" fn string_length(ptr: *const c_char) -> u32 {
  type EGraphIter (line 56) | pub struct EGraphIter {
  type FFIRule (line 64) | pub struct FFIRule {
  function egraph_add_expr (line 71) | pub unsafe extern "C" fn egraph_add_expr(ptr: *mut Context, expr: *const...
  function egraph_add_root (line 89) | pub unsafe extern "C" fn egraph_add_root(ptr: *mut Context, id: u32) {
  function egraph_add_node (line 95) | pub unsafe extern "C" fn egraph_add_node(
  function egraph_copy (line 115) | pub unsafe extern "C" fn egraph_copy(ptr: *mut Context) -> *mut Context {
  function ptr_to_string (line 133) | unsafe fn ptr_to_string(ptr: *const c_char) -> String {
  function ffirule_to_tuple (line 139) | unsafe fn ffirule_to_tuple(rule_ptr: *mut FFIRule) -> (String, String, S...
  function egraph_run (line 149) | pub unsafe extern "C" fn egraph_run(
  function egraph_get_stop_reason (line 232) | pub unsafe extern "C" fn egraph_get_stop_reason(ptr: *mut Context) -> u32 {
  function find_extracted (line 245) | fn find_extracted(runner: &Runner, id: u32, iter: u32) -> &Extracted {
  function egraph_find (line 268) | pub unsafe extern "C" fn egraph_find(ptr: *mut Context, id: usize) -> u32 {
  function egraph_serialize (line 276) | pub unsafe extern "C" fn egraph_serialize(ptr: *mut Context) -> *const c...
  function egraph_size (line 308) | pub unsafe extern "C" fn egraph_size(ptr: *mut Context) -> u32 {
  function egraph_eclass_size (line 314) | pub unsafe extern "C" fn egraph_eclass_size(ptr: *mut Context, id: u32) ...
  function egraph_enode_size (line 321) | pub unsafe extern "C" fn egraph_enode_size(ptr: *mut Context, id: u32, i...
  function egraph_get_eclasses (line 329) | pub unsafe extern "C" fn egraph_get_eclasses(ptr: *mut Context, ids_ptr:...
  function egraph_get_node (line 345) | pub unsafe extern "C" fn egraph_get_node(
  function egraph_get_simplest (line 365) | pub unsafe extern "C" fn egraph_get_simplest(
  function egraph_get_proof (line 379) | pub unsafe extern "C" fn egraph_get_proof(
  function egraph_get_variants (line 402) | pub unsafe extern "C" fn egraph_get_variants(
  function egraph_is_unsound_detected (line 445) | pub unsafe extern "C" fn egraph_is_unsound_detected(ptr: *mut Context) -...
  function egraph_get_times_applied (line 458) | pub unsafe extern "C" fn egraph_get_times_applied(ptr: *mut Context, nam...
  function egraph_get_cost (line 472) | pub unsafe extern "C" fn egraph_get_cost(ptr: *mut Context, node_id: u32...
  function egraph_get_size (line 481) | pub unsafe extern "C" fn egraph_get_size(ptr: *mut Context) -> u32 {

FILE: egg-herbie/src/math.rs
  type Constant (line 10) | pub type Constant = num_rational::BigRational;
  type RecExpr (line 11) | pub type RecExpr = egg::RecExpr<Math>;
  type Pattern (line 12) | pub type Pattern = egg::Pattern<Math>;
  type EGraph (line 13) | pub type EGraph = egg::EGraph<Math, ConstantFold>;
  type Rewrite (line 14) | pub type Rewrite = egg::Rewrite<Math, ConstantFold>;
  type Runner (line 15) | pub type Runner = egg::Runner<Math, ConstantFold, IterData>;
  type Iteration (line 16) | pub type Iteration = egg::Iteration<IterData>;
  type IterData (line 18) | pub struct IterData {
    method make (line 59) | fn make(runner: &Runner) -> Self {
  type Extracted (line 22) | pub struct Extracted {
  type AltCost (line 29) | pub struct AltCost<'a> {
  function new (line 34) | pub fn new(egraph: &'a EGraph) -> Self {
  type Cost (line 40) | type Cost = usize;
  function cost (line 42) | fn cost<C>(&mut self, enode: &Math, mut costs: C) -> Self::Cost
  type ConstantFold (line 100) | pub struct ConstantFold {
    type Data (line 130) | type Data = Option<(Constant, (PatternAst<Math>, Subst))>;
    method make (line 131) | fn make(egraph: &mut EGraph, enode: &Math) -> Self::Data {
    method merge (line 238) | fn merge(&mut self, to: &mut Self::Data, from: Self::Data) -> DidMerge {
    method modify (line 255) | fn modify(egraph: &mut EGraph, class_id: Id) {
  method clone (line 107) | fn clone(&self) -> Self {
  method default (line 118) | fn default() -> Self {
  function mk_rules (line 268) | pub fn mk_rules(tuples: &[(&str, &str, &str)]) -> Vec<Rewrite> {

FILE: infra/fidget2core.py
  function parse_node (line 20) | def parse_node(node):
  function recurse_nodes (line 41) | def recurse_nodes(idx):

FILE: infra/test-api.mjs
  function getFreePort (line 9) | function getFreePort() {
  constant PORT (line 20) | const PORT = await getFreePort();
  function waitForPort (line 41) | function waitForPort(port) {
  function makeURL (line 57) | function makeURL(endpoint) {
  constant SAMPLE_SIZE (line 64) | const SAMPLE_SIZE = 8256
  function testAPI (line 71) | async function testAPI(url, body, cb) {
  constant POINTS (line 107) | let POINTS = null;
  function checkLocalErrorNode (line 239) | function checkLocalErrorNode(root, path, name,
  function getNodeFromPath (line 251) | function getNodeFromPath(node, path) {
  function testTranslate (line 285) | async function testTranslate(language, result) {

FILE: src/reports/resources/demo.js
  function tree_errors (line 23) | function tree_errors(tree, expected) /* tree -> list */ {
  function bottom_up (line 100) | function bottom_up(tree, cb) {
  function extract (line 122) | function extract(args) {
  function dump_fpcore (line 126) | function dump_fpcore(formula) {
  function is_comparison (line 145) | function is_comparison(name) {
  function flatten_comparisons (line 149) | function flatten_comparisons(node) {
  function dump_tree (line 187) | function dump_tree(tree, names) {
  function get_unused_var_warnings (line 246) | function get_unused_var_warnings(tree) {
  function get_errors (line 306) | function get_errors() {
  function get_warnings (line 325) | function get_warnings() {
  function check_errors (line 336) | function check_errors() {
  function hide_extra_fields (line 354) | function hide_extra_fields() {
  function Form (line 373) | function Form(form) {
  function get_precondition_from_input_ranges (line 388) | function get_precondition_from_input_ranges(formula) {
  function setup_state (line 397) | function setup_state(state, form) {
  function get_varnames_mathjs (line 442) | function get_varnames_mathjs(mathjs_text) {
  function update_run_button_mathjs (line 452) | function update_run_button_mathjs(form) {
  function get_input_range_errors (line 473) | function get_input_range_errors([low, high] = [undefined, undefined], em...
  function get_input_range_warnings (line 493) | function get_input_range_warnings([low, high] = [undefined, undefined]) {
  function onload (line 500) | function onload() {
  function get_progress (line 649) | function get_progress(loc) {
  function ajax_submit (line 676) | function ajax_submit(url, lisp) {

FILE: src/reports/resources/report-page.js
  function update (line 11) | function update() {
  class DeferredCurveCache (line 16) | class DeferredCurveCache {
    method constructor (line 17) | constructor(readTests) {
    method currentKey (line 24) | currentKey() {
    method get (line 28) | get() {
    method ensure (line 34) | ensure() {
  function Element (line 130) | function Element(tagname, props, children) {
  function calculatePercent (line 150) | function calculatePercent(decimal) {
  function formatTime (line 154) | function formatTime(ms) {
  function calculateSpeedup (line 162) | function calculateSpeedup(mergedCostAccuracy) {
  function paretoUnion (line 177) | function paretoUnion(curve1, curve2) {
  constant PARETO_BLOCK_SIZE (line 226) | const PARETO_BLOCK_SIZE = 32;
  function paretoConvex (line 228) | function paretoConvex(points) {
  function paretoMinimize (line 249) | function paretoMinimize(points) {
  function paretoShift (line 254) | function paretoShift([cost0, error0], frontier) {
  function paretoUnionBalanced (line 258) | function paretoUnionBalanced(curves) {
  function paretoCombineTwo (line 277) | function paretoCombineTwo(combined, frontier) {
  function paretoCombine (line 294) | function paretoCombine(frontiers) {
  function calculateMergedCostAccuracy (line 310) | function calculateMergedCostAccuracy(tests) {
  function getFilteredTests (line 342) | function getFilteredTests() {
  function getFilteredBaselineTests (line 346) | function getFilteredBaselineTests() {
  function getCurveCacheKey (line 350) | function getCurveCacheKey(tests) {
  function toTitleCase (line 358) | function toTitleCase(str) {
  function buildDropdown (line 367) | function buildDropdown(options, selected, placeholder, onChange) {
  function buildHeader (line 381) | function buildHeader(title) {
  function on (line 399) | function on(mark, listeners = {}) {
  function plotXY (line 415) | function plotXY(testsData, otherJsonData) {
  function plotPareto (line 451) | function plotPareto(jsonData, otherJsonData) {
  function buildCheckboxLabel (line 509) | function buildCheckboxLabel(classes, text, boolState) {
  function buildDiffLine (line 516) | function buildDiffLine() {
  function buildCompareForm (line 549) | function buildCompareForm() {
  function summarizeTests (line 577) | function summarizeTests(tests) {
  function buildStats (line 590) | function buildStats(jsonData, mergedCostAccuracy) {
  function buildTableHeader (line 623) | function buildTableHeader(stringName, help) {
  function buildBody (line 642) | function buildBody(jsonData, otherJsonData) {
  function compareTests (line 679) | function compareTests(l, r) {
  function getBaselineTest (line 696) | function getBaselineTest(test) {
  function getVisibleTests (line 700) | function getVisibleTests(jsonData) {
  function buildTableContents (line 708) | function buildTableContents(jsonData) {
  function computeDiffTotal (line 713) | function computeDiffTotal(jsonData) {
  function buildDiffFooter (line 743) | function buildDiffFooter(jsonData, otherJsonData) {
  function getMinimum (line 785) | function getMinimum(target) {
  function buildRow (line 797) | function buildRow(test, other) {
  function buildDiffControls (line 913) | function buildDiffControls() {
  function buildControls (line 929) | function buildControls(jsonData, otherJsonData, diffCount) {
  function buildFilterGroup (line 945) | function buildFilterGroup(name) {
  function countTestsByStatus (line 958) | function countTestsByStatus(tests) {
  function collectSuites (line 966) | function collectSuites(tests) {
  function collectWarnings (line 977) | function collectWarnings(tests) {
  function buildFilterControls (line 987) | function buildFilterControls(jsonData) {
  function showGetJsonError (line 1033) | function showGetJsonError() {
  function filterDirtyEqual (line 1084) | function filterDirtyEqual(baseData, diffData) {
  function filterSuite (line 1131) | function filterSuite(baseData) {
  function filterWarning (line 1139) | function filterWarning(baseData) {
  function filterStatus (line 1143) | function filterStatus(baseData) {
  function filterTest (line 1147) | function filterTest(baseData) {
  function fetchBaseline (line 1156) | async function fetchBaseline(url) {
  function getResultsJson (line 1175) | async function getResultsJson() {

FILE: src/reports/resources/report.js
  function Component (line 3) | function Component(selector, fns) {
  function ComponentInstance (line 9) | function ComponentInstance(elt, component) {
  function Element (line 18) | function Element(tagname, props, children) {
  function pct (line 431) | function pct(val, base) {
  function time (line 435) | function time(s) {
  function path (line 439) | function path(p) {
  function makelabel (line 540) | function makelabel(i, base, factor) {
  function histogram (line 553) | function histogram(id, xdata, ydata, options) {
  function run_components (line 624) | function run_components() {

FILE: www/demo.js
  function tree_errors (line 12) | function tree_errors(tree) /* tree -> list */ {
  function bottom_up (line 57) | function bottom_up(tree, cb) {
  function dump_tree (line 67) | function dump_tree(tree, txt) /* tree string -> string */ {
  function onload (line 98) | function onload() /* null -> null */ {
  function clean_progress (line 162) | function clean_progress(str) {
  function htmlescape (line 174) | function htmlescape(str) {
  function get_progress (line 178) | function get_progress(loc) {
  function ajax_submit (line 197) | function ajax_submit(url, text, lisp) {

FILE: www/doc/1.1/compare.js
  function sort_by (line 6) | function sort_by(i1, i2) {
  function r10 (line 12) | function r10(d) {
  function make_graph (line 16) | function make_graph(node, data, start, end) {
  function draw_results (line 76) | function draw_results(node) {

FILE: www/doc/1.3/toc.js
  function make_toc (line 1) | function make_toc() {

FILE: www/doc/1.4/toc.js
  function make_toc (line 1) | function make_toc() {

FILE: www/doc/1.5/toc.js
  function make_toc (line 1) | function make_toc() {

FILE: www/doc/1.6/toc.js
  function make_toc (line 1) | function make_toc() {

FILE: www/doc/2.0/toc.js
  function make_toc (line 1) | function make_toc() {

FILE: www/doc/2.1/toc.js
  function make_toc (line 1) | function make_toc() {

FILE: www/doc/2.2/toc.js
  function make_toc (line 1) | function make_toc() {

FILE: www/doc/2.3/toc.js
  function make_toc (line 1) | function make_toc() {

FILE: www/graph.js
  function sort_by (line 6) | function sort_by(type) {
  function r10 (line 12) | function r10(d) {
  function make_graph (line 16) | function make_graph(node, data, start, end) {
  function draw_results (line 67) | function draw_results(node) {