List of all items
Structs
- Cache
- RecursiveSolver
- fixed_point::Minimums
- fixed_point::RecursiveContext
- fixed_point::cache::Cache
- fixed_point::cache::CacheData
- fixed_point::search_graph::DepthFirstNumber
- fixed_point::search_graph::Node
- fixed_point::search_graph::SearchGraph
- fixed_point::stack::Stack
- fixed_point::stack::StackDepth
- fixed_point::stack::StackEntry
- fulfill::Fulfill
- fulfill::PositiveSolution
- recursive::RecursiveSolver
- recursive::Solver
Enums
Traits
Functions
- combine::calculate_inputs
- combine::with_priorities
- fulfill::canonicalize
- fulfill::is_trivial_canonical_subst
- fulfill::u_canonicalize
- fulfill::unify