コレクションの全要素が条件を満たしているか確認する演算はどれか。

2026年1月25日

forAllはすべての要素が指定した条件式で真になる場合に真を返す。

OCLのコレクション演算において、要素の重複を許さない集合を表す型はどれか。

メタモデルにおける「再定義（Redefinition）」の目的はどれか。