class_partialdecomp.h File Reference
Detailed Description
class storing (potentially incomplete) decompositions
- Note
- formerly called "Seeed"
Definition in file class_partialdecomp.h.
#include "objscip/objscip.h"
#include "struct_detector.h"
#include <vector>
#include <string>
#include "class_conspartition.h"
#include "class_varpartition.h"
#include "graph/graph_gcg.h"
#include "graph/graph.h"
#include "type_scoretype.h"
#include "reader_gp.h"
Go to the source code of this file.
Data Structures | |
class | gcg::PARTIALDECOMP |
class to manage partial decompositions More... | |
Namespaces | |
gcg | |
Enumerations | |
enum | gcg::USERGIVEN { gcg::NOT = 0, gcg::PARTIAL = - 1, gcg::COMPLETE = - 2, gcg::COMPLETED_CONSTOMASTER = - 3 } |
enumeration to display if a decomposition was given by the user and if so, how it was processed after adding More... | |