wrapper_seeed.h
Go to the documentation of this file.
34 /*---+----1----+----2----+----3----+----4----+----5----+----6----+----7----+----8----+----9----+----0----+----1----+----2*/
Definition: wrapper_seeed.h:43
class to manage partial decompositions (aka seeed), each seeed corresponds to one seeedpool which con...
Definition: class_seeed.h:71
class with functions for seeed pool where a seeed is a (potentially incomplete) description of a deco...
Definition: class_seeedpool.h:110
constraint handler for structure detection