MCPcopy Create free account

hub / github.com/advancedresearch/monotonic_solver / functions

Functions33 in github.com/advancedresearch/monotonic_solver

⨍ Functions 33◇ Types & classes 14
↓ 24 callersMethodcan_add
Returns `true` if new expression can be added to facts.
src/lib.rs:335
↓ 3 callersFunctionsolve_with_accelerator
Solves without reducing.
src/lib.rs:342
↓ 2 callersFunctioninfer
(solver: Solver<Expr>, story: &[Expr])
examples/hats.rs:117
↓ 2 callersMethodis_sour
(&self)
examples/groceries.rs:47
↓ 2 callersMethodlikes
(&self, fruit: Fruit)
examples/groceries.rs:26
↓ 2 callersFunctionsolve_and_reduce
Solves and reduces the proof to those steps that are necessary.
src/lib.rs:459
↓ 1 callersFunctioncheck
Checks a list of tests.
examples/hats.rs:270
↓ 1 callersMethodis_bitter
(&self)
examples/groceries.rs:51
↓ 1 callersMethodis_hat_free
Returns whether a hat is weared by anyone.
examples/hats.rs:87
↓ 1 callersMethodis_sweet
(&self)
examples/groceries.rs:43
↓ 1 callersFunctionsearch
Searches for matches by a pattern. - `pat` specifies the map and acceptance criteria - `max_size` specifies the maximum size of proof Returns `Ok` i
src/lib.rs:556
↓ 1 callersFunctionsearch_with_accelerator
Searches for matches by a pattern. - `pat` specifies the map and acceptance criteria - `max_size` specifies the maximum size of proof Returns `Ok` i
src/lib.rs:478
↓ 1 callersMethodshoots
(&self)
examples/drama.rs:70
↓ 1 callersFunctionsolve
Solves without reducing.
src/lib.rs:400
↓ 1 callersFunctionsolve_and_reduce_with_accelerator
Solves and reduces the proof to those steps that are necessary. Uses an accelerator constructor initalized from start and goal.
src/lib.rs:415
↓ 1 callersFunctiontest
()
examples/hats.rs:290
↓ 1 callersMethodupdate_worn
(&mut self)
examples/hats.rs:94
Functionalice_and_bob_tries_to_put_on_same_hat
()
examples/hats.rs:257
Functionbob_and_alice_wears_different_hats
()
examples/hats.rs:245
Methodfmt
(&self, fmt: &mut fmt::Formatter)
examples/drama.rs:43
Methodfrom
Converts from a number.
examples/hats.rs:43
Functionhats_colliding
()
examples/hats.rs:198
Functioninfer
(solver: Solver<Expr>, story: &[Expr])
examples/groceries.rs:63
Functioninfer
(solver: Solver<Expr>, story: &[Expr])
examples/drama.rs:162
Functionmain
()
examples/groceries.rs:80
Functionmain
()
examples/drama.rs:283
Functionmain
()
examples/hats.rs:310
Methodmale
(&self)
examples/drama.rs:34
Methodnew
()
examples/hats.rs:79
Functiontake_off_empty
()
examples/hats.rs:234
Functiontake_off_wrong
()
examples/hats.rs:222
Functiontake_on_off
()
examples/hats.rs:210
Functiontrivial
()
examples/hats.rs:187