Scippy

SCIP

Solving Constraint Integer Programs

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...