Next: 4.3.3 優先度指定使用上の注意
Up: 4.3 KL1 のゴール優先度指定方法
Previous: 4.3.1 再び生産者と消費者の問題
KLIC の優先度は KLIC の整数の表現範囲分だけ存在する.
大きいほど優先度が高くなる.
優先度指定の方法は以下の 2 通りある.
- 絶対指定
次の通りである.
指定されたゴールを指定された優先度でリダクションを試みる.
- 相対指定
次の通りである.
指定されたゴールの親ゴールより 1 つ低い優先度でリダクションを
試みる.
Next: 4.3.3 優先度指定使用上の注意
Up: 4.3 KL1 のゴール優先度指定方法
Previous: 4.3.1 再び生産者と消費者の問題
KLIC