add_timer


Description:

public void add_timer (DomainTimer timer)