class_seeed.h File Reference
#include "objscip/objscip.h"
#include "struct_detector.h"
#include "cons_decomp.h"
#include <vector>
#include <string>
#include "class_consclassifier.h"
#include "class_varclassifier.h"
#include "graph/graph_gcg.h"
#include "graph/graph.h"

Go to the source code of this file.

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