Exemple #1
0
 def __init__(self, decl):
     Imp.__init__(self, decl)
     self.counter = 0
Exemple #2
0
 def __init__(self, decl, propertyName):
     Imp.__init__(self, decl)
     self.propertyName = propertyName
Exemple #3
0
 def __init__(self, decl):
     Imp.__init__(self, decl)
     self.val = "Test-Failed"
Exemple #4
0
 def __init__(self, decl):
     Imp.__init__(self, decl)
     self._detindices_lists = ()
     self._det_check_all = False
     self._idsym = Symbol(self.symbol.id)
Exemple #5
0
 def __init__(self, decl):
     Imp.__init__(self, decl)
     self._detindices_lists = ()
     self._det_check_all = False
     self._idsym = Symbol(self.symbol.id)
Exemple #6
0
 def __init__(self, decl):
     Imp.__init__(self, decl)
     self.val = "Test-Failed"