6.5.8 境界条件節
指示語:bounds
, bound
書式:
number (<,<=,=<,>,>=.=>,=) name name (<,<=,=<,>,>=.=>,=) number number (<,<=,=<,>,>=.=>,=) name (<,<=,=<,>,>=.=>,=) number name free (-inf, -infinite) (<,<=,=<) name name (>,>=.=>) (-inf, -infinite) (inf, infinite) (>,>=.=>) name name (<,<=,=<) (inf, infinite)
<
, >
はそれぞれ<=
, =>
と解釈します.境界条件において,重複した定義はエラーとなります.上界値は,未設定の場合には+inf
と設定されます.下界値が未設定の場合は
- 上界値が0未満であれば
-inf
- そうでない場合0
と設定されます.
上に戻る