def Domain(self, *args, **kargs): return ai.Zonotope(*args, customRelu = ai.creluSmooth, **kargs)
def Domain(self, *args, **kargs): return ai.Zonotope(*args, **kargs)