FourierBarrierCertificate.cpp File Reference

#include "lucid/verification/FourierBarrierCertificate.h"
#include <memory>
#include <numbers>
#include <string>
#include <utility>
#include <vector>
#include "lucid/lib/psocpp.h"
#include "lucid/model/Estimator.h"
#include "lucid/model/MultiSet.h"
#include "lucid/model/TruncatedFourierFeatureMap.h"
#include "lucid/model/ValleePoussinKernel.h"
#include "lucid/util/Stats.h"
#include "lucid/util/constants.h"
#include "lucid/util/error.h"
#include "lucid/util/math.h"
#include "lucid/util/random.h"
#include "lucid/verification/AlglibOptimiser.h"
#include "lucid/verification/GurobiOptimiser.h"
#include "lucid/verification/HighsOptimiser.h"
#include "lucid/verification/SoplexOptimiser.h"

Namespaces
namespace	lucid
	Root namespace for the lucid library.

Detailed Description

Author

c3054737

Copyright

2025 lucid

Licence:

BSD 3-Clause License