不变式

不变式

简明

1
invariance
不变性；不变式；

网络释义
专业释义

1
[计] invariant
访问函数（accessor function）：提供对私有变量的访问（读或写）功能的函数。 不变式（invariant）：一个条件，跟一个对象相关，并应该在客户代码中一直为真，该不变性应被成员函数保持。
2
invariance
... 不变色nondiscolouring 不变式invariance 不变形的indeformablenondeformable ...

短语

1
循环不变式
计 loop invariant
2
半不变式
semi invariant ; 数 half invariant
3
联立不变式
数 simultaneous invariant ; simultaneous invariants

查看更多

双语例句

1
清单2循环中包含不变式。
Listing 2. Loop containing invariant.
2
该变量没有包含在具有其他变量的不变式中。
The variable does not participate in invariants with other variables.
3
如何寻找循环不变式和证明的正确性？
How to find the loop invariant and prove correctness?

查看更多

点击反馈