set_title


Description:

public void set_title (string? title)

Sets the title of the domain.

This is an optional short textual description of the domain. Passing a NULL title unsets the current domain title.

Parameters:

this

a Domain

title

title of the domain