def __init__(self, *args):
r"""
__init__(IntegerSet self) -> IntegerSet
__init__(IntegerSet self, IntegerSet s) -> IntegerSet
__init__(IntegerSet self, int const n, int const * p) -> IntegerSet
"""
_sets.IntegerSet_swiginit(self, _sets.new_IntegerSet(*args))
def __init__(self, *args):
this = _sets.new_IntegerSet(*args)
try:
self.this.append(this)
except Exception:
self.this = this
