PolytopeSet.cpp File Reference

#include "lucid/model/PolytopeSet.h"
#include <algorithm>
#include <cmath>
#include <limits>
#include <ostream>
#include <random>
#include <string>
#include <utility>
#include <vector>
#include "lucid/lib/eigen.h"
#include "lucid/model/RectSet.h"
#include "lucid/util/error.h"
#include "lucid/verification/AlglibOptimiser.h"

Namespaces
namespace	lucid
	Root namespace for the lucid library.

Detailed Description

Author

Room 6.030

Copyright

2025 lucid

Licence:

BSD 3-Clause License

PolytopeSet class.