...cessful in (M, s) 当且仅当M, s⊨成功更新 （successful update）。 后一种情况下我们称 φ 是在认知状态(M, s) 的一个失败更新 （unsuccessful update）。
基于14个网页-相关网页
... 我是收养它，它没家 » I adopted it, it has not 更新成功 » Successful update 吃中午饭没有 » Eat lunch there is no ...
基于12个网页-相关网页
Update successful 更新成功
Instead, a successful update redirects to the show action. The following lines.
现在，创建成功后将重定向到show action。
Now that you have seen a successful update, we'll show the case where the update fails.
在展示了一个更新成功的场景后，我们来看一个更新失败的例子。
We must fetch the current counter value from the server, but the counter state is remembered after a successful update.
我们必须从服务器获取当前的计数器值，但在成功更新之后将保存计数器的状态。
应用推荐