• ClaspCliConfig : Clasp::Cli::ConfigIter
• ClauseWatch : Clasp::ClauseHead
• indexed_priority_queue : bk_lib::indexed_priority_queue< Cmp >
• operator<< : ProgramOptions::OptionContext
• OptionContext : ProgramOptions::OptionGroup
• SharedContext : Clasp::Solver
• SharedDependencyGraph : Clasp::SharedDependencyGraph::NonHcfComponent
• SharedMinimizeData : Clasp::UncoreMinimize
• WeightConstraint : Clasp::WeightConstraint::CPair