条件文: if
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2018/10/03 20:59 UTC 版)
「Guarded Command Language」の記事における「条件文: if」の解説
選択（一般に、条件文とかif文と呼ばれる）はガード付きコマンドのリストであり、そのうちの1つの文が選択実行される。複数のガードが真である場合、実行する文はランダムまたは非決定的に選択される。どのガードも真でない場合、結果は未定義である。少なくとも1つのガードが真でなければならないので、空文の Skip を使うことが多い。
※この「条件文: if」の解説は、「Guarded Command Language」の解説の一部です。
「条件文: if」を含む「Guarded Command Language」の記事については、「Guarded Command Language」の概要を参照ください。
ウィキペディア小見出し辞書の「条件文: if」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ。
- 条件文: ifのページへのリンク
