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