State invariants were used for the state prediction.

对状态的预测使用状态不变量；

The contract includes invariants, preconditions, and post conditions.

合同包括不变量，先决条件和后置条件。

The variable does not participate in invariants with other variables.

该变量没有包含在具有其他变量的不变式中。

Alternatively, examine the invariants to ensure that the casts will succeed.

还有一种选择是，检查不变量以确保类型强制转换将会成功。

Object Invariants are conditions specified for each instances of a class.

对象不变量则为每个实例指定条件。