- o -

• op : smtrat::Backend< Settings > , smtrat::CoveringNGSettingsDefault , smtrat::internal::CoveringNGSettings , smtrat::internal::NewCoveringSettings , smtrat::internal::OCSettings , smtrat::LevelWiseInformation< Settings > , smtrat::mcsat::onecell::DefaultSettings , smtrat::NewCoveringSettings1 , smtrat::qe::coverings::DefaultSettings
• OperatorType : smtrat::parser::BitvectorTheory , smtrat::parser::CoreTheory
• Order : smtrat::GBModule< Settings > , smtrat::GBPPSettings1 , smtrat::GBSettings1 , smtrat::GBSettings3 , smtrat::GBSettings4 , smtrat::GBSettings51A , smtrat::GBSettings5 , smtrat::GBSettings61A , smtrat::GBSettings63 , smtrat::GBSettings6
• Origins : smtrat::cad::Preprocessor