TimingCondition Node1 TimingCondition - m_min - m_max - s_capacity + TimingCondition() + isSatisfied() + toString() + capacity() Node2 ICondition + ~ICondition() + isSatisfied() + capacity() + toString() Node2->Node1