wrapper_partialdecomp.h
Go to the documentation of this file.
30 * @brief Provides wrapping to have Partialdecomps as parameters in C-conform function headers with C++
35 /*---+----1----+----2----+----3----+----4----+----5----+----6----+----7----+----8----+----9----+----0----+----1----+----2*/
gcg::PARTIALDECOMP * partialdec
Definition: wrapper_partialdecomp.h:49
constraint handler for structure detection
Definition: wrapper_partialdecomp.h:47
class storing (potentially incomplete) decompositions