(26.2) Line6(a) :— Line3(a), 2 < a. (26.3) Line4(a) :— Line3(a), a ≤ 2. (26.4) Line7(a) :— Line4(a), 2 ≤ a ≤ 2. (26.5) Line5(a) :— Line4(a), a< 2.
確定! 回上一頁