- w -

• w : Clasp::WeightConstraint::WL
• watches : Clasp::DefaultUnfoundedCheck::BodyData
• watches_ : Clasp::DefaultUnfoundedCheck , Clasp::Solver
• wcnf_ : Clasp::DimacsParser
• weight : Clasp::UncoreMinimize::LitData , Clasp::UncoreMinimize::Core , Clasp::SharedMinimizeData::LevelWeight , Clasp::MinimizeBuilder::Weight
• weights : Clasp::SharedMinimizeData , Clasp::Asp::PrgBody::SumExtra
• width_ : Clasp::Cli::TextOutput
• winner : Clasp::SharedContext::Share
• wp : Clasp::QueueImpl
• writer_ : ProgramOptions::OptionOutputImpl< Writer, Formatter >