def __init__( self, did, vmap ): Domain.__init__(self, did) self.vmap = vmap
def __init__( self, did ): Domain.__init__(self, did)