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

• fulfill::NegativeSolution
• fulfill::Obligation
• fulfill::Outcome

Traits

• fixed_point::SolverStuff
• solve::SolveDatabase
• solve::SolveIteration
• solve::SolveIterationHelpers

Functions

• combine::calculate_inputs
• combine::with_priorities
• fulfill::canonicalize
• fulfill::is_trivial_canonical_subst
• fulfill::u_canonicalize
• fulfill::unify

Type Aliases

• UCanonicalGoal