options.hpp

/*
 *    This file is part of CasADi.
 *
 *    CasADi -- A symbolic framework for dynamic optimization.
 *    Copyright (C) 2010-2023 Joel Andersson, Joris Gillis, Moritz Diehl,
 *                            KU Leuven. All rights reserved.
 *    Copyright (C) 2011-2014 Greg Horn
 *
 *    CasADi is free software; you can redistribute it and/or
 *    modify it under the terms of the GNU Lesser General Public
 *    License as published by the Free Software Foundation; either
 *    version 3 of the License, or (at your option) any later version.
 *
 *    CasADi is distributed in the hope that it will be useful,
 *    but WITHOUT ANY WARRANTY; without even the implied warranty of
 *    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
 *    Lesser General Public License for more details.
 *
 *    You should have received a copy of the GNU Lesser General Public
 *    License along with CasADi; if not, write to the Free Software
 *    Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301  USA
 *
 */
 
 
#ifndef CASADI_OPTIONS_HPP
#define CASADI_OPTIONS_HPP
 
#include "generic_type.hpp"
 
namespace casadi {
 
  struct CASADI_EXPORT Options {
#ifndef SWIG
    // Base classes, whose options are also valid for the derived class
    std::vector<const Options*> bases;
 
    // Information for a particular options entry
    struct Entry {
      TypeID type;
      std::string description;
 
      // Print entry
      void disp(const std::string& name, std::ostream &stream) const;
    };
 
    // Lookup for options
    std::map<std::string, Entry> entries;
 
    // Locate an entry
    const Options::Entry* find(const std::string& name) const;
 
#endif // SWIG
 
    // Get all entries
    std::vector<std::string> all() const;
 
    // Get type of an entry
    std::string type(const std::string& name) const;
 
    // Get description for an entry
    std::string info(const std::string& name) const;
 
#ifndef SWIG
    // Print all entries
    void disp(std::ostream& stream) const;
#endif // SWIG
 
    static double word_distance(const std::string &a, const std::string &b);
 
    std::vector<std::string> suggestions(const std::string& word, casadi_int amount=5) const;
 
    void best_matches(const std::string& word,
                      std::vector<std::pair<double, std::string> >& best) const;
 
    static bool has_dot(const Dict& opts);
 
    static bool has_null(const Dict& opts);
 
    static bool is_sane(const Dict& opts);
 
    static Dict sanitize(const Dict& opts, bool top_level=true);
 
    void check(const Dict& opts) const;
 
    void print_all(std::ostream &stream) const;
 
    void print_one(const std::string &name, std::ostream &stream) const;
  };
 
} // namespace casadi
 
 
#endif // CASADI_OPTIONS_HPP