def __init__(self): this = _pywrapsat.new_SatHelper() try: self.this.append(this) except __builtin__.Exception: self.this = this
def __init__(self): _pywrapsat.SatHelper_swiginit(self, _pywrapsat.new_SatHelper())
def __init__(self): this = _pywrapsat.new_SatHelper() try: self.this.append(this) except __builtin__.Exception: self.this = this
def __init__(self): _pywrapsat.SatHelper_swiginit(self, _pywrapsat.new_SatHelper())