Module search_graph

Structs

SearchGraphDelegate 🔒

This type is never constructed. We only use it to implement search_graph::Delegate for all types which impl SolverDelegate and doing it directly fails in coherence.

Functions

response_no_constraints 🔒

Type Aliases

SearchGraph 🔒