Module discrete_search 

Bounded deterministic search controls, extension traits, results, and receipts.

Structs

NeverInterrupt

Interrupt source that never cancels.

SearchControl

Bounds, ordering, seed, and accounting policy for one search run.

SearchReceipt

Receipt describing how a bounded search run ended.

SearchRun

Outputs and receipt produced by one search run.

WorkCosts

Work charges applied by the engine for each observable operation class.

Enums

SearchError

Validation error returned by concrete search fixtures.

SearchOrder

Deterministic frontier policy used by crate::solve.

SearchStatus

Completion status recorded by a bounded search run.

SearchStep

Outcome of applying a choice or propagating a state.

Traits

SearchInterrupt

Interrupt source checked by the search loop between bounded operations.

SearchProblem

Generic state-space problem consumed by crate::solve.

Functions

solve

Solve a search problem under explicit deterministic bounds.