List of all items

Structs

• Answer
• CompleteAnswer
• ExClause
• FlounderedSubgoal
• Minimums
• TableIndex
• TimeStamp
• forest::Forest
• forest::ForestSolver
• logic::SolveState
• normalize_deep::DeepNormalizer
• slg::MayInvalidate
• slg::SlgContext
• slg::SlgContextOps
• slg::aggregate::AntiUnifier
• slg::resolvent::AnswerSubstitutor
• solve::SLGSolver
• stack::Stack
• stack::StackDebug
• stack::StackEntry
• stack::StackIndex
• strand::SelectedSubgoal
• strand::Strand
• table::AnswerIndex
• table::Table
• tables::Tables

Enums

• AnswerMode
• Literal
• context::AnswerResult
• logic::NoRemainingSubgoalsResult
• logic::RootSearchFail
• logic::SubGoalSelection

Traits

• context::AnswerStream
• slg::ResolventOps
• slg::SubstitutionExt
• slg::aggregate::AggregateOps

Macros

• index_struct

Functions

• slg::aggregate::is_trivial
• slg::aggregate::merge_into_guidance

Type Aliases

• logic::RootSearchResult
• strand::CanonicalStrand