class_indexpartition.cpp
Go to the documentation of this file.
34 /*---+----1----+----2----+----3----+----4----+----5----+----6----+----7----+----8----+----9----+----0----+----1----+----2*/
59 scip(_scip), name(std::string(givenName)), nClasses(givenNClasses), nIndices(givenNIndices), indicesToClasses(givenNIndices, -1),
119 * meaning that the partition of the set of constraints is the same ignoring the concrete classindices, classnames, etc. */
147 /* check whether index classes in this partition are strict subsets of classes in current partition */
164 std::vector<std::vector<int>> IndexPartition::getAllSubsets(std::vector<int>& givenClassindices)
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_indexpartition.cpp:46
Definition: class_conspartition.cpp:43
int getClassOfIndex(int index)
Definition: class_indexpartition.cpp:218
generalization of ConsPartition and VarPartition
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
bool operator()(const std::pair< int, int > &left, const std::pair< int, int > &right)
Definition: class_indexpartition.cpp:47
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