double_description_method.cpp File Reference

Detailed Description

Implements the double description method for transforming a polyhedron given via its h-representation into its v-representation.

Author

Sebastian Schenker

Definition in file double_description_method.cpp.

#include "double_description_method.h"
#include <algorithm>
#include <numeric>
#include <bitset>
#include <cmath>
#include <functional>
#include <iterator>
#include <memory>
#include <set>
#include <tuple>
#include <utility>
#include <vector>
#include "global_functions.h"
#include "objscip/objscip.h"
#include "polyscip_types.h"
#include "PolySCIPConfig.h"

Go to the source code of this file.

Namespaces
	polyscip
	polyscip::doubledescription