def __init__(self, decl):
Imp.__init__(self, decl)
self.counter = 0
def __init__(self, decl, propertyName):
Imp.__init__(self, decl)
self.propertyName = propertyName
def __init__(self, decl):
Imp.__init__(self, decl)
self.val = "Test-Failed"
def __init__(self, decl):
Imp.__init__(self, decl)
self._detindices_lists = ()
self._det_check_all = False
self._idsym = Symbol(self.symbol.id)
def __init__(self, decl):
Imp.__init__(self, decl)
self._detindices_lists = ()
self._det_check_all = False
self._idsym = Symbol(self.symbol.id)
def __init__(self, decl):
Imp.__init__(self, decl)
self.val = "Test-Failed"
