- u -

• ufs_non_poly : Clasp::DefaultUnfoundedCheck
• ufs_none : Clasp::DefaultUnfoundedCheck
• ufs_poly : Clasp::DefaultUnfoundedCheck
• undo_id : Clasp::Lookahead
• UNKNOWN : Clasp::ClaspFacade::Result
• unknown_group : ProgramOptions::ContextError
• unknown_option : ProgramOptions::ContextError
• UNSAT : Clasp::ClaspFacade::Result
• update_on_conflict : Clasp::SolverStrategies
• update_on_propagate : Clasp::SolverStrategies
• use_learning : Clasp::SolverStrategies
• user_schedule : Clasp::ScheduleStrategy
• user_value : Clasp::ValueSet