TLACondition Node1 TLACondition - m_etaMin - m_etaMax - m_ystarMin - m_ystarMax - m_massMin - m_massMax - s_capacity + TLACondition() + TLACondition() + ~TLACondition() + isSatisfied() + toString() + capacity() Node2 ICondition + ~ICondition() + isSatisfied() + capacity() + toString() Node2->Node1