A logical expression specifying a program state that must exist or a set of conditions that program variables must satisfy at a particular point during program execution;for example, A is positive and A is greater than B.
英
美
- 一種邏輯表達式,它規定必須存在的一個(gè)程序狀態(tài),或規定在程序執行過(guò)程中某一特定點(diǎn)上程序變量必須滿(mǎn)足的條件集合;例如,A為正且A大于B。
