好单词

postcondition

美：[pəʊstkən´dɪʃn]   英：[pəʊstkən´dɪʃn]

中文翻译

后置条件

网络解释

后条件; 后续条件; 后验条件

英文短语

  • 1.Postcondition Exception 后置条件异常
  • 2.hypothermia postcondition 低温后适应
  • 3.program postcondition 程序后置条件
  • 4.Strongest postcondition 最强后置条件
  • 5.Task Postcondition - Data Value 任务后置
  • 6.Task Postcondition - Data Existence 任务后置

    • 英文例句

  • 1.Similarly, postcondition tests correspond roughly to after advice.同样，后置条件测试大致与 after 建议对应。
  • 2.There is something wrong with the function; a postcondition is violated.函数本身可能有错，后置条件没有满足。
  • 3.Specifies a postcondition contract for the enclosing method or property.为封闭方法或属性指定一个后置条件协定。
  • 4.An example postcondition: the new balance is the old balance, less the amount withdrawn.后置条件示例：新的余额就是老的余额扣除取款金额。
  • 5.Then, I filled in the Desired outcome section, and skipped down and added a postcondition, and around and around I went.然后，我填写期望的结果部分，添加后置条件，就这样一轮一轮的进行下去。


    • 其他单词翻译

    英文单词 中文含义
    rxr

    维甲酸X受体

    网络解释

    受体; 维甲酸受体(retinoid X receptor); 视黄酸类受体(Retionoid X receptor)
    rw

    abbr. Rwanda 卢旺达

    网络解释

    读写; 以读写方式挂载; 卢旺达(Rwanda)
    rutty

    adj. 遍地车辙的

    网络解释

    遍地车辙; 遍地车辙的
    rybinsk

    n.里宾斯克

    网络解释

    雷宾斯克; 里宾斯克; 年交由拉宾斯基
    ry

    abbr. relay 转运；补充；接替；rydberg 雷得堡

    网络解释

    人妖; 表名词; 重复去做(repeat yourself)
    rwa

    abbr. rotary-wing aircraft 航行器旋转翼

    网络解释

    风险加权资产(risk-weighted assets); 波长分配; Replay With Audio
    rutz

    n.鲁茨

    网络解释

    鲁茨河
    ryckman

    n.里克曼

    网络解释

    里赫曼
    rya

    n. 里亚毯，里亚毯式样

    网络解释

    皇家快艇比赛协会(Royal Yachting Association); 瑞安国际航空公司; 游艇协会
    rvalue

    右值

    网络解释

    右值; 右值上; 右值右值
    rutzen

    n.鲁岑
    rycroft

    n.赖克罗夫特（加拿大地名）

    网络解释

    束克罗夫特
    ryal

    abbr. relay alarm 继电器警报

    网络解释

    布诺益口; 打者瑞尔; 响尾蛇队首位打者瑞尔
    rve

    abbr. radar video extractor 雷达视频信号析取器

    网络解释

    代表性体积单元(Representative Volume Element); 体积元; Results Viewing Environment
    rwb

    Rand Water Board 兰德水会

    网络解释

    无国界记者(Reporters Without Borders); 右边后卫(right wing back); 右边卫
    rutzick

    n.鲁齐克

    网络解释

    鲁齐克
    rydberg

    凯塞

    网络解释

    里德伯; 德堡; 里德堡
    rvf

    n.裂谷热

    网络解释

    裂谷热(Rift Valley Fever); Raw Video Formats; 直肠阴道瘘(recto vaginal fistula)
    rwd

    abbr.后轮驱动（RearWheelDrive）

    网络解释

    后轮驱动(Rear Wheel Drive); Rational Web Developer; 后驱
    ryall

    n.（Ryall）人名；（英）赖亚尔