set_clock


Description:

public void set_clock (DomainClock? klock)

Parameters:

this

a Domain