File volume_cooling_hpoly.hpp

Functions

template<typename RandomPointGenerator, typename Zonotope, typename HPolytope, typename NT, typename RNG, typename VT> bool get_first_poly(Zonotope &P, HPolytope &HP, NT &ratio, cooling_ball_parameters<NT> const &parameters, RNG &rng, VT &b_max)

template<typename Zonotope, typename HPolytope, typename VT, typename PointList, typename NT> bool get_next_zonoball(std::vector<HPolytope> &HPolySet, HPolytope &HP2, const VT &b_max, const VT &b_min, PointList &randPoints, std::vector<NT> &ratios, cooling_ball_parameters<NT> const &parameters)

template<typename RandomPointGenerator, typename ZonoHP, typename Zonotope, typename HPolytope, typename VT, typename NT, typename RNG> bool get_sequence_of_zonopolys(Zonotope &Z, const HPolytope &HP, std::vector<HPolytope> &HPolySet, std::vector<NT> &ratios, const VT &b_max, unsigned int const &N_times_nu, unsigned int const &walk_length, cooling_ball_parameters<NT> const &parameters, RNG &rng)

template<typename Zonotope, typename HPolytope> HPolytope compute_hpoly_for_mmc(Zonotope const &P)

template<typename WalkTypePolicy, typename HPolytope, typename Zonotope, typename RandomNumberGenerator> double volume_cooling_hpoly(Zonotope const &Pin, RandomNumberGenerator &rng, double const &error = 1.0, unsigned int const &walk_length = 1, unsigned int const &win_len = 200)

template<typename WalkTypePolicy, typename RandomNumberGenerator, typename HPolytope, typename Polytope> double volume_cooling_hpoly(Polytope &Pin, double const &error = 0.1, unsigned int const &walk_length = 1)