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)