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