class_indexpartition.h
Go to the documentation of this file.
34 /*---+----1----+----2----+----3----+----4----+----5----+----6----+----7----+----8----+----9----+----0----+----1----+----2*/
56 std::vector<int> indicesToClasses; /**< index i is assigned to class indicesToClasses[i] (-1 if not assigned)*/
58 std::vector<std::string> classDescriptions; /**< information text describing class k is classDescriptions[k] */
59 std::vector<int> classDecompInfo; /**< decomposition information of class k is classDecompInfo[k] */
void setClassDescription(int classindex, const char *desc)
Definition: class_indexpartition.cpp:365
int addClass(const char *name, const char *desc)
Definition: class_indexpartition.cpp:92
std::vector< int > & getIndicesToClasses()
Definition: class_indexpartition.cpp:226
Definition: class_conspartition.cpp:43
int getClassOfIndex(int index)
Definition: class_indexpartition.cpp:218
void setClassDecompInfo(int classindex, int decompInfo)
Definition: class_indexpartition.cpp:357
const char * getClassName(int classindex)
Definition: class_indexpartition.cpp:200
std::vector< std::vector< int > > getAllSubsets(std::vector< int > &classindices)
Definition: class_indexpartition.cpp:164
void setClassName(int classindex, const char *name)
Definition: class_indexpartition.cpp:373
Definition: class_indexpartition.h:46
IndexPartition(SCIP *scip, const char *name, int nClasses, int nIndices)
Definition: class_indexpartition.cpp:53
int removeEmptyClasses()
Definition: class_indexpartition.cpp:313
virtual ~IndexPartition()
Definition: class_indexpartition.cpp:87
bool isIndexClassified(int index)
Definition: class_indexpartition.cpp:268
std::vector< int > getNIndicesOfClasses()
Definition: class_indexpartition.cpp:252
const char * getClassNameOfIndex(int index)
Definition: class_indexpartition.cpp:208
std::vector< int > reduceClasses(int maxNumberOfClasses)
Definition: class_indexpartition.cpp:276
bool isDuplicateOf(IndexPartition *otherPartition)
Definition: class_indexpartition.cpp:120
void assignIndexToClass(int index, int classindex)
Definition: class_indexpartition.cpp:110
int getClassDecompInfo(int classindex)
Definition: class_indexpartition.cpp:184
const char * getClassDescription(int classindex)
Definition: class_indexpartition.cpp:192