solver.hpp File Reference

#include <cyqlone/config.hpp>
#include <cyqlone/qpalm/detailed-stats.hpp>
#include <cyqlone/qpalm/export.h>
#include <cyqlone/qpalm/settings.hpp>
#include <cyqlone/qpalm/status.hpp>
#include <cyqlone/timing.hpp>
#include <guanaqo/atomic-stop-signal.hpp>
#include <guanaqo/timed.hpp>
#include <map>
#include <memory>
#include <optional>
#include <string>

Go to the source code of this file.

Classes
struct	cyqlone::qpalm::SolverTimings
struct	cyqlone::qpalm::SolverStats
struct	cyqlone::qpalm::detail::backend_type< std::unique_ptr< T, D > >
struct	cyqlone::qpalm::detail::backend_type< T * >
class	cyqlone::qpalm::Solver< Backend >

Namespaces
namespace	cyqlone
namespace	cyqlone::qpalm
namespace	cyqlone::qpalm::detail

Typedefs
template<class T>
using	cyqlone::qpalm::detail::backend_type_t = typename backend_type<T>::type

---

Class Documentation

cyqlone::qpalm::detail::backend_type< std::unique_ptr< T, D > >

struct cyqlone::qpalm::detail::backend_type< std::unique_ptr< T, D > >

Class Members
typedef T	type T

cyqlone::qpalm::detail::backend_type< T * >

struct cyqlone::qpalm::detail::backend_type< T * >

Class Members
typedef T	type T