public bool empty() { return times_.Count == 0; }
public override void update() { if (!timeGrid_.empty()) { lattice_ = this.model_.link.tree(timeGrid_); } notifyObservers(); }