The contract includes invariants, preconditions, and post conditions.

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

youdao

Each of these operations can have preconditions and post-conditions, and they can raise exceptions.

每一种操作都具有前提和后期条件，并且它们能够提出例外。

youdao

As you can see from the sample files that accompany this article (see Download), a similar approach defines post-conditions and invariants.

正如您可以从本文样例文件(参见下载)看到的，一种类似的方法定义了后置条件和不变式。

youdao

There is a very big-- one of the largest clinical trials that the U.S. Government ever did was called the Women's Health Initiative, and there were several purposes built into this particular study, but what it did was it took post menopausal women and randomly assigned them to different dietary conditions.

有一个很大的,美国政府曾经做过的,一个最大的临床试验,叫做"妇女健康倡导计划",这项研究有几个特殊的目的,研究主要是将更年期的妇女,随机分配至,不同的饮食环境中

耶鲁公开课 - 关于食物的心理学、生物学和政治学课程节选

Two trials had shown this to be disease-resistant, early-maturing (a vital trait under post-Mitch crisis conditions) and drought-tolerant.

ECONOMIST: Research from the ground up

Richard Cody made the announcement Wednesday, just days after stories in The Washington Post exposed squalid living conditions and bureaucratic nightmares at the Army's Walter Reed Medical Center in Washington, D.

NPR: Army Probes Reports of Neglect at Walter Reed

But Smith and Cross made the most of the conditions to both post career-best scores.

BBC: Lancashire bat out to draw with Hampshire