- o -

• obj : ProgramOptions::detail::Notifier< ParamT >
• objStack_ : Clasp::Cli::JsonOutput
• occ : Clasp::ClaspBerkmin::HScore
• occ_ : Clasp::ClaspVmtf::VarInfo , Clasp::ClaspVsids_t< ScoreType > , Clasp::SatElite::SatElite::LessOccCost
• occurs_ : Clasp::SatElite::SatElite
• ok : Clasp::Constraint::PropResult
• once : Clasp::ClaspBerkmin::Order
• onlyPre : Clasp::Cli::ClaspAppOptions
• onModel_ : Clasp::SolveAlgorithm
• op : Clasp::Event
• op1_ : Clasp::compose_1< OP1, OP2 > , Clasp::compose_2_1< OP1, OP2, OP3 > , Clasp::compose_2_2< OP1, OP2, OP3 >
• op2_ : Clasp::compose_1< OP1, OP2 > , Clasp::compose_2_1< OP1, OP2, OP3 > , Clasp::compose_2_2< OP1, OP2, OP3 >
• op3_ : Clasp::compose_2_1< OP1, OP2, OP3 > , Clasp::compose_2_2< OP1, OP2, OP3 >
• open_ : Clasp::Cli::JsonOutput , Clasp::UncoreMinimize
• opt : Clasp::Model , Clasp::EnumOptions
• opt_ : Clasp::SharedMinimizeData
• opt_applied : Clasp::Cli::ClaspCliConfig
• optAlias_ : ProgramOptions::Value
• optGen_ : Clasp::SharedMinimizeData
• optHeu : Clasp::SolverStrategies
• option_ : Clasp::Cli::ClaspCliConfig::ProgOption
• options_ : ProgramOptions::OptionGroup , ProgramOptions::OptionContext , Clasp::ModelEnumerator
• opts : Clasp::ModelEnumerator::BacktrackFinder , Clasp::Test::SatEliteTest
• opts_ : Clasp::Cli::ClaspCliConfig , Clasp::Asp::LogicProgram , Clasp::SatElite::SatElite
• optStrat : Clasp::SolverParams
• order_ : Clasp::ClaspBerkmin
• os_ : Clasp::Cli::WriteLemmas , Clasp::Cli::WriteCnf
• otfs : Clasp::SolverStrategies
• other_ : Clasp::LoopFormula , Clasp::Restricted
• otherScore : Clasp::HeuParams
• out : ProgramOptions::OstreamWriter , ProgramOptions::FileWriter , ProgramOptions::StringWriter , Clasp::ShortImplicationsGraph::ReverseArc , Clasp::Cli::ClaspCliConfig::ParseContext::Frame
• out_ : Clasp::Cli::ClaspAppBase , Clasp::Asp::RuleTransform::Impl
• outAtom : Clasp::Cli::ClaspAppOptions
• outf : Clasp::Cli::ClaspAppOptions
• outLbd : Clasp::Cli::ClaspAppOptions
• outShort_ : Clasp::Cli::WriteLemmas
• owner_ : ProgramOptions::OptionInitHelper
• ownsLit_ : Clasp::WeightConstraint