double_description_method.h File Reference

Detailed Description

Double description method for transforming a polyhedron given via its h-representation into its v-representation.

Author

Sebastian Schenker

The underlying algorithm is described in the paper: "Double description method revisited" by Komei Fukuda, Alain Prodon

Definition in file double_description_method.h.

#include <algorithm>
#include <bitset>
#include <cstddef>
#include <functional>
#include <iostream>
#include <memory>
#include <unordered_map>
#include <ostream>
#include <tuple>
#include <utility>
#include <vector>
#include "global_functions.h"
#include "objscip/objscip.h"
#include "PolySCIPConfig.h"
#include "polyscip_types.h"
#include "weight_space_facet.h"

Go to the source code of this file.

Data Structures
class	polyscip::doubledescription::V_RepT
	Class for element of v-representation. More...
class	polyscip::doubledescription::DoubleDescriptionMethod
	Algorithm for transforming h-representation to v-representation. More...

Namespaces
	polyscip
	polyscip::doubledescription

Typedefs
using	polyscip::doubledescription::H_RepT = std::pair< OutcomeType, ValueType >
	Type for element of h-representation. More...
using	polyscip::doubledescription::H_RepC = std::vector< H_RepT >
	Container for h-representations. More...
using	polyscip::doubledescription::V_RepC = std::vector< std::shared_ptr< V_RepT > >
	Container for v-representations. More...