Functions — github.com/advancedresearch/avalog

CodeHub MCPcopy Create free account

hub / github.com/advancedresearch/avalog / functions

Functions79 in github.com/advancedresearch/avalog

⨍ Functions 79 ◇ Types & classes 5

↓ 96 callersMethodupdate

Updates the accelerator with list of facts.

↓ 27 callersFunctionparse_expr

( node: &str, mut convert: Convert, ignored: &mut Vec<Range> )

src/parsing.rs:489

↓ 24 callersFunctioncheck

(facts: &'static str, goals: &'static str)

↓ 14 callersFunctionapp

Constructs an apply expression.

↓ 7 callersFunctioneq

Constructs an equality expression.

↓ 6 callersFunctionparse_str

Parses a string.

src/parsing.rs:613

↓ 5 callersFunctionava

Constructs a 1-avatar expression, e.g. `p'(a)`.

↓ 5 callersFunctionhas

Constructs a "has" expression e.g. `p(a) => b`.

↓ 5 callersFunctionparse

Parses a source file.

src/parsing.rs:641

↓ 5 callersFunctionrel

Constructs a relation expression, e.g. `(a, b)`.

↓ 4 callersMethodarity

Returns the number of arguments in apply expression.

↓ 4 callersFunctionfail

(facts: &'static str, goals: &'static str)

tests/lib.rs:19

↓ 4 callersFunctioninner

Constructs an inner expression e.g. `.p'(a) = a`.

↓ 4 callersMethodis_const

Returns `true` if expression contains no variables.

↓ 3 callersFunctionambiguous_rel

Constructs an ambiguous relation expression.

↓ 3 callersFunctionconclusion

( status: Result<(), Error>, start_time: SystemTime, end_time: SystemTime, settings: &ProveSet

examples/avalog_repl.rs:216

↓ 3 callersFunctionjson_str

Parses a JSON string.

examples/avalog_repl.rs:190

↓ 3 callersFunctionmatch_rule

(r: &Expr<T>, rel: &Expr<T>)

↓ 3 callersFunctionrole_of

Constructs a role-of expression, e.g. `a : b`.

↓ 3 callersFunctionsubstitute

(r: &Expr<T>, vs: &Vec<(Arc<String>, Expr<T>)>)

↓ 3 callersFunctionuniq_ava

Constructs a unique directive expression, e.g. `uniq a`.

↓ 2 callersFunctionambiguous_role

Constructs an ambiguous role expression.

↓ 2 callersFunctionbind

Bind `a` to pattern `e`.

↓ 2 callersFunctionequal

Returns `Some(true)` if two expressions are proven to be equal, `Some(false)` when proven to be inequal, and `None` when unknown.

↓ 2 callersFunctionprove

(goals: &[Expr], facts: &[Expr], settings: &ProveSettings)

examples/avalog_repl.rs:352

↓ 1 callersFunctionapply

(e: &Expr<T>, facts: &[Expr<T>])

↓ 1 callersMethodeval_lift

Lifts apply with an eval role.

↓ 1 callersFunctionexport_graph

(facts: &[Expr], settings: &ProveSettings, parent: &PathBuf)

examples/avalog_repl.rs:241

↓ 1 callersFunctionfalse_or_none

(val: Option<bool>)

↓ 1 callersMethodis_tail

Returns `true` if expression is a tail pattern.

↓ 1 callersFunctionneq

Constructs an inequality expression.

↓ 1 callersFunctionparse_amb_rel

( node: &str, mut convert: Convert, ignored: &mut Vec<Range> )

src/parsing.rs:415

↓ 1 callersFunctionparse_amb_role

( node: &str, mut convert: Convert, ignored: &mut Vec<Range> )

src/parsing.rs:377

↓ 1 callersFunctionparse_app

( node: &str, mut convert: Convert, ignored: &mut Vec<Range> )

src/parsing.rs:66

↓ 1 callersFunctionparse_ava

( node: &str, mut convert: Convert, ignored: &mut Vec<Range> )

src/parsing.rs:112

↓ 1 callersFunctionparse_data

( node: &str, mut convert: Convert, ignored: &mut Vec<Range>, parent: &Path )

src/parsing.rs:556

↓ 1 callersFunctionparse_eq

( node: &str, mut convert: Convert, ignored: &mut Vec<Range> )

src/parsing.rs:264

↓ 1 callersFunctionparse_has

( node: &str, mut convert: Convert, ignored: &mut Vec<Range> )

src/parsing.rs:223

↓ 1 callersFunctionparse_inner

( node: &str, mut convert: Convert, ignored: &mut Vec<Range> )

src/parsing.rs:38

↓ 1 callersFunctionparse_neq

( node: &str, mut convert: Convert, ignored: &mut Vec<Range> )

src/parsing.rs:305

↓ 1 callersFunctionparse_rel

( node: &str, mut convert: Convert, ignored: &mut Vec<Range> )

src/parsing.rs:453

↓ 1 callersFunctionparse_role_of

( node: &str, mut convert: Convert, ignored: &mut Vec<Range> )

src/parsing.rs:341

↓ 1 callersFunctionparse_rule

( node: &str, mut convert: Convert, ignored: &mut Vec<Range> )

src/parsing.rs:6

↓ 1 callersFunctionparse_sym_or_var

Parses symbol or variable. Converts to variable automatically when starting with upper case.

src/parsing.rs:183

↓ 1 callersFunctionparse_uniq

( node: &str, mut convert: Convert, ignored: &mut Vec<Range> )

src/parsing.rs:152

↓ 1 callersFunctionprint_help

examples/avalog_repl.rs:414

↓ 1 callersFunctionprint_help_application

examples/avalog_repl.rs:420

↓ 1 callersFunctionprint_help_avatars

examples/avalog_repl.rs:418

↓ 1 callersFunctionprint_help_equality

examples/avalog_repl.rs:422

↓ 1 callersFunctionprint_help_eval

examples/avalog_repl.rs:421

↓ 1 callersFunctionprint_help_graph

examples/avalog_repl.rs:425

↓ 1 callersFunctionprint_help_hide

examples/avalog_repl.rs:415

↓ 1 callersFunctionprint_help_inequality

examples/avalog_repl.rs:423

↓ 1 callersFunctionprint_help_list

examples/avalog_repl.rs:424

↓ 1 callersFunctionprint_help_pairs

examples/avalog_repl.rs:416

↓ 1 callersFunctionprint_help_roles

examples/avalog_repl.rs:417

↓ 1 callersFunctionprint_help_rules

examples/avalog_repl.rs:419

↓ 1 callersFunctionsearch_pat

(pat: &[Expr], facts: &[Expr], settings: &ProveSettings)

examples/avalog_repl.rs:321

Functionamb_fail

tests/lib.rs:98

Functionamb_success

tests/lib.rs:103

Functionapp_empty

tests/lib.rs:119

Functionapp_match

tests/lib.rs:109

Functionassocativity

tests/lib.rs:51

Functionbool_alg

tests/lib.rs:56

Functioncapital

tests/lib.rs:36

Functioncategory

tests/lib.rs:41

Functionchu_space

tests/lib.rs:46

Methodconstructor

Returns a constructor for solve-and-reduce.

Functionconvert_eq_into_has

tests/lib.rs:80

Functionconvert_unique_has_into_eq

tests/lib.rs:69

tests/lib.rs:85

(&self, w: &mut std::fmt::Formatter<'_>)

Specifies inference rules for monotonic solver.

Returns `true` if string is a variable.

examples/avalog_repl.rs:6

Creates a new accelerator.

Functionrole_lift

tests/lib.rs:90

Functionsquares

tests/lib.rs:61

tests/lib.rs:114