ComplementedEntityClass

ComplementedEntityClass[classall,class1,…]

classiのどれにも含まれない classallのすべての実体を含む実体クラスを表す．

詳細とオプション

  • ComplementedEntityClass[classall,class1,class2,…]は，事実上，EntityListを適用した際に見られる classiの実体に対する classallの実体のソートされていない補集合と等価である．
  • ComplementedEntityClassに現れるクラスがEntityListにおける簡約の後で事実上同じタイプであるなら，結果の実体はそのタイプになる．非互換タイプの補集合を求めた場合，結果の実体は新しいタイプになる．
  • ComplementedEntityClass[classall,class1,…,SameTestProperties{propsall,props1,…}]は classiの特性 propsiを使って実体の等価性のテストを行う．SameTestPropertiesがAutomaticに設定されていない場合は常に，結果の実体は新しいタイプになる．
  • EntityProperties[ComplementedEntityClass[classall,class1,…]]は各 classiの全特性をEntityProperty[ComplementedEntityClass[…],propj]とともに返す．ここで"propj"は classiのクラスが異なる実体タイプの場合に少なくとも2つのクラスに出現する任意の特性である．

例題

すべて開くすべて閉じる

例  (3)

2つの実体クラスの補集合を計算する：

異なる実体タイプを混ぜた結果は，事実上，最初の実体クラスになる：

名前によって等価性を再定義すると正しい結果が与えられる：

リレーショナルデータベースに補強された実体と一緒に使った場合，ComplementedEntityClassはEXCEPT文に相当する：

スコープ  (2)

ComplementedEntityClassを同じクラスの実体と一緒に使う：

異なるタイプの実体は，デフォルトで，別のものとみなされる：

SameTestPropertiesを使って実体を同じ名前と照合する：

オプション  (1)

SameTestProperties  (1)

SameTestPropertiesを使って実体間の等価性が定義できる：

特性と関係  (2)

ComplementedEntityClassは，通常は，Complementと等価である：

陰的なEntityClass式あるいはFilteredEntityClass式を補完する場合は，条件にAndとNotを使った方が効率がよいことが多い：

結果のクラスは順序を除いて等しい：

Wolfram Research (2020), ComplementedEntityClass, Wolfram言語関数， https://reference.wolfram.com/language/ref/ComplementedEntityClass.html.

テキスト

Wolfram Research (2020), ComplementedEntityClass, Wolfram言語関数， https://reference.wolfram.com/language/ref/ComplementedEntityClass.html.

CMS

Wolfram Language. 2020. "ComplementedEntityClass." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/ComplementedEntityClass.html.

APA

Wolfram Language. (2020). ComplementedEntityClass. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/ComplementedEntityClass.html

BibTeX

@misc{reference.wolfram_2024_complementedentityclass, author="Wolfram Research", title="{ComplementedEntityClass}", year="2020", howpublished="\url{https://reference.wolfram.com/language/ref/ComplementedEntityClass.html}", note=[Accessed: 21-November-2024 ]}

BibLaTeX

@online{reference.wolfram_2024_complementedentityclass, organization={Wolfram Research}, title={ComplementedEntityClass}, year={2020}, url={https://reference.wolfram.com/language/ref/ComplementedEntityClass.html}, note=[Accessed: 21-November-2024 ]}