ensures that both parts of the zero?time jump1 — the guard condition which needs to be satis?ed just before the transition is taken, and the reset condition which determines the values after the transition, are satis?ed.的翻译：确保 zero?time jump1 的两个部分 — — 的触发条件，采取过渡之前，只需要 satis?ed 和重置条件，确定过渡后的值是 satis?ed。什么意思？中文翻译英文，英文翻译中文，怎么说？

青云英语翻译

选择语言：从到

确保这两个部分的零时间jump1 - 需求得到满足之前的过渡是采取保护条件，并复位条件，这就决定了后过渡期的值，是满意的。

确保 zero?time jump1 的两个部分 — — 的触发条件，采取过渡之前，只需要 satis?ed 和重置条件，确定过渡后的值是 satis?ed。

保证zero?time jump1的两个部分-需要是satis?编辑的卫兵情况，在转折被采取之前和在转折以后确定价值的复原状态，是satis?编辑。

正在翻译，请等待...

确保 zero?time jump1 的两个部分 — — 的触发条件，采取过渡之前，只需要 satis?ed 和重置条件，确定过渡后的值是 satis?ed。