def __init__(self):
     if self.__class__ == SolutionCallback:
         _self = None
     else:
         _self = self
     _pywrapsat.SolutionCallback_swiginit(
         self, _pywrapsat.new_SolutionCallback(_self, ))
Example #2
0
 def __init__(self):
     if self.__class__ == SolutionCallback:
         _self = None
     else:
         _self = self
     this = _pywrapsat.new_SolutionCallback(_self, )
     try:
         self.this.append(this)
     except __builtin__.Exception:
         self.this = this