File zpolyoracles.h

Functions

template<typename MT, typename Point, typename NT> bool memLP_Zonotope(const MT &V, const Point &q, NT *row, int *colno)

template<typename NT, typename MT, typename Point> std::pair<NT, NT> intersect_line_zono(const MT &V, const Point &p, const Point &v, NT *row, int *colno)