Functions — github.com/adam-mcdaniel/reckon

CodeHub MCPcopy Create free account

hub / github.com/adam-mcdaniel/reckon / functions

Functions395 in github.com/adam-mcdaniel/reckon

⨍ Functions 395◇ Types & classes 33

Functionint_to_peano

Convert an integer to a Peano number

src/util/mod.rs:13

Methodis_complete

Check if the solution is complete, i.e., if the final query is a ground truth (contains no variables).

src/env.rs:1210

Methodis_invalid

Is this rule invalid? A rule is invalid if all the arguments of the head are variables (no progress can be made by the head matching), and all the te

src/rule.rs:180

Methodis_recursive

Is this rule recursive? A rule is recursive if any of the following are true: 1. The arguments of the head contain an application of the head function

src/rule.rs:164

MethoditemTypeFromName

docs/static.files/search-f0d225181b97f9a4.js:1

src/main.rs:785

Get the name of the symbol as a string This is useful when you need the internal string representation of the symbol.

src/symbol.rs:115

Create a new symbol from a string If the symbol already exists in the symbol table, it will return the existing symbol. Otherwise, it will create a n

src/symbol.rs:81

Create a new variable with a given name. Two variables with the same name will have the same ID until refreshed. Two variables with the same name, w

Create a new environment with the given rules.

Create a new query with the given goals to prove

src/query.rs:21

MethodnewParsedQuery

docs/static.files/search-f0d225181b97f9a4.js:1

FunctiononSearchSubmit

docs/static.files/search-f0d225181b97f9a4.js:6

Functionoptions_bool_flag

src/parse.rs:423

Functionoptions_int_flag

src/parse.rs:414

Functionoptions_str_flag

src/parse.rs:432

MethodparseInput

(query,parserState)

docs/static.files/search-f0d225181b97f9a4.js:1

Functionparse_app

Parse an application term: `foo(term, term, ...)` We parse the symbol first, then arguments in parentheses.

src/parse.rs:289

Functionparse_app_rule

Parse a single `Rule`: `head :- goal1, goal2, ... .` or a fact: `head.`

src/parse.rs:335

Functionparse_bool_term

src/parse.rs:66

Functionparse_complement

src/parse.rs:321

Functionparse_cons

Parse a cons cell: `[term | term]` This is a special case of a list, where the tail is a single term.

src/parse.rs:271

Functionparse_cut

Parse the cut symbol `#`.

src/parse.rs:82

Functionparse_escaped_char

Parse an escaped character: \n, \t, \r, \u{00AC}, etc.

src/parse.rs:124

Functionparse_escaped_whitespace

Parse a backslash, followed by any amount of whitespace. This is used later to discard any escaped whitespace.

src/parse.rs:153

Functionparse_fragment

Combine parse_literal, parse_escaped_whitespace, and parse_escaped_char into a StringFragment.

src/parse.rs:184

Functionparse_int_term

src/parse.rs:42

Functionparse_literal

Parse a non-empty block of text that doesn't include \ or "

src/parse.rs:160

Functionparse_nil

src/parse.rs:77

Functionparse_string_term

src/parse.rs:230

Functionparse_term_rule

src/parse.rs:372

Functionparse_unicode

Parse a unicode sequence, of the form u{XXXX}, where XXXX is 1 to 6 hexadecimal numerals. We will combine this later with parse_escaped_char to parse

src/parse.rs:93

Functionparse_var

Parse a variable token: starts with uppercase or underscore, followed by alphanums or `_`. Example: `X`, `User42`, `_foo`.

src/parse.rs:237

Methodpartial_cmp

(&self, other: &Self)

src/symbol.rs:192

MethodpathSplitter

docs/static.files/search-f0d225181b97f9a4.js:1

Methodpermissive

Create a new search configuration with permissive defaults. This configuration allows for a wide search space, with no limits on depth, width, or ste

Functionprint_rainbow_text

src/main.rs:196

Functionprint_rainbow_text_lines

src/main.rs:223

docs/static.files/search-f0d225181b97f9a4.js:1

Methodpush_to_queue

Push an item to the queue, depending on the traversal strategy.

Functionrecognize_sign_digits

Recognize optional sign plus digits (used by parse_int).

src/parse.rs:48

Methodreduce_in_place

Simplify the query by substituting an environment's variable bindings into the query's goals. This makes the query's goals more concrete. This mutate

src/query.rs:315

src/symbol.rs:124

Get a new unique variable that has not been used before.

Methodrefresh_variables

Refresh only the variables in the rule that are in the set of variables to refresh. This is useful when we want to avoid refreshing variables unneces

src/rule.rs:260

Methodremove_provable_complements

Remove all the complements that we can prove are true. This is done by finding all the complements, and then trying to prove that the complement is f

src/query.rs:88

Reset the solver's state, clearing any saved rule applications or solutions

src/solvers/mod.rs:13

src/solvers/mod.rs:51

docs/static.files/main-f070b9041d14864c.js:11

Functionrgb_to_hsv

(c: (u8, u8, u8))

src/main.rs:308

Methodsave_rule_application

Save a rule application for later reuse

src/solvers/mod.rs:18

Methodsave_solutions

Save a set of solutions for later reuse

src/solvers/mod.rs:28

FunctionsearchAfter500ms

docs/static.files/search-f0d225181b97f9a4.js:6

FunctionsendSearchForm

docs/static.files/main-f070b9041d14864c.js:1

FunctionsettingsBlurHandler

docs/static.files/settings-805db61a62df4bd2.js:17

FunctionshowHideCodeExampleButtons

docs/static.files/main-f070b9041d14864c.js:11

Get the size of the rule. The size of a rule is the sum of the sizes of the head and the tail terms.

src/rule.rs:197

Get the sum of the sizes of all the goals in the query The size of a goal term is the total number of subterms in the term

src/query.rs:33

docs/static.files/search-f0d225181b97f9a4.js:1

docs/static.files/search-f0d225181b97f9a4.js:1

MethodsortResults

(results,isType,preferredCrate)

docs/static.files/search-f0d225181b97f9a4.js:1

Methodsubstitute

Substitute all occurrences of some variables in the query with the given terms

src/query.rs:294

Methodsubstitute_var

Substitute a single variable with a term. This will modify this term in place, replacing all occurrences of the given variable with the given term.

src/term.rs:558

Functiontest_application

src/env.rs:1518

Functiontest_application

src/rule.rs:354

Functiontest_application2

src/rule.rs:369

Functiontest_application3

src/rule.rs:390

Functiontest_example

src/env.rs:1305

Functiontest_example2

src/env.rs:1367

Functiontest_example3

src/env.rs:1403

Functiontest_nested_application

src/rule.rs:412

Functiontest_nested_application2

src/rule.rs:427

Functiontest_proof

src/env.rs:1561

Functiontest_prove_addition

src/env.rs:1579

Functiontest_prove_multiplication

src/env.rs:1430

Functiontest_symbol

src/symbol.rs:230

Functiontest_symbol_id

src/symbol.rs:242

Functiontest_used_vars

FunctiontoggleAllDocs

docs/static.files/main-f070b9041d14864c.js:1

FunctiontooltipBlurHandler

docs/static.files/main-f070b9041d14864c.js:1

MethodtransformResults

docs/static.files/search-f0d225181b97f9a4.js:1

MethodtypePassesFilter

docs/static.files/search-f0d225181b97f9a4.js:1

MethodunifyFunctionTypeCheckBindings

(fnType,queryElem,whereClause,mgensIn,unboxingDepth,)

docs/static.files/search-f0d225181b97f9a4.js:1

MethodunifyFunctionTypeIsMatchCandidate

(fnType,queryElem,mgensIn)

docs/static.files/search-f0d225181b97f9a4.js:1

MethodunifyFunctionTypeIsUnboxCandidate

(fnType,queryElem,whereClause,mgens,unboxingDepth,)

docs/static.files/search-f0d225181b97f9a4.js:1

MethodunifyFunctionTypes

(fnTypesIn,queryElems,whereClause,mgensIn,solutionCb,unboxingDepth,)

docs/static.files/search-f0d225181b97f9a4.js:1

Methodunused_id

src/symbol.rs:97

FunctionupdateCrate

docs/static.files/search-f0d225181b97f9a4.js:6

Methoduse_saved_rule_application

Attempt to use a saved rule application, returning true if one was found

src/solvers/mod.rs:23

Methoduse_saved_solutions

Attempt to use saved solutions, returning them if found

src/solvers/mod.rs:33

Methodused_vars

Get the set of variables used in this term. The variables used in this term are collected and inserted into the given set.

src/term.rs:375

Methodused_vars

Get all the used variables in the query

src/query.rs:277

A function to create a new variable term from a name.

src/term.rs:634

Create a new symbol term.

src/term.rs:135

Constrain a rule by adding a term to the tail. This makes the head of the rule *only true* if this condition is also true.

src/rule.rs:204

← previous301–395 of 395, ranked by callers