Types & classes — github.com/dagit/rust-prolog

CodeHub MCPcopy Create free account

hub / github.com/dagit/rust-prolog / types & classes

Types & classes15 in github.com/dagit/rust-prolog

⨍ Functions 65 ◇ Types & classes 15

EnumFrameStatus

src/solve.rs:36

src/lexer.rs:31

Iterative-deepening search iterator. Yields solutions on demand, transparently incrementing depth when a level is exhausted.

src/solve.rs:98

EnumSearchOutcome

Outcome of iterative deepening search.

src/solve.rs:87

EnumSolveResult

src/solve.rs:17

src/syntax.rs:26

src/token.rs:15

EnumToplevelCmd

src/syntax.rs:54