class_varpartition.h
Go to the documentation of this file.
int addClass(const char *name, const char *desc, VAR_DECOMPINFO decompInfo)
Definition: class_varpartition.cpp:71
int getClassOfVar(int varindex)
Definition: class_varpartition.cpp:139
bool isVarClassified(int varindex)
Definition: class_varpartition.cpp:168
Definition: class_conspartition.cpp:43
generalization of ConsPartition and VarPartition
VarPartition(SCIP *scip, const char *name, int nClasses, int nVars)
Definition: class_varpartition.cpp:47
Definition: class_varpartition.h:54
VarPartition * reduceClasses(int maxNumberOfClasses)
Definition: class_varpartition.cpp:174
void assignVarToClass(int varindex, int classindex)
Definition: class_varpartition.cpp:80
Definition: class_indexpartition.h:46
const char * getClassNameOfVar(int varindex)
Definition: class_varpartition.cpp:133
const int * getVarsToClasses()
Definition: class_varpartition.cpp:145
void setClassDecompInfo(int classindex, VAR_DECOMPINFO decompInfo)
Definition: class_varpartition.cpp:221
std::vector< std::vector< int > > getAllSubsets(bool all, bool linking, bool master, bool block)
Definition: class_varpartition.cpp:86
std::vector< int > getNVarsOfClasses()
Definition: class_varpartition.cpp:161
VAR_DECOMPINFO getClassDecompInfo(int classindex)
Definition: class_varpartition.cpp:102