ประโยคภาษาจีน : 中文句子 |
---|
lìng 另 yí gè 一个 qián zhì 前置 tiáo jiàn 条件 shì 是 yùn xíng 运行 qián shù 前述 yuē shù 约束 jiǎn cè 检测 suàn fǎ 算法 suǒ xū 所需 de 的 shù jù 数据 yào 要 zài 在 mó xíng 模型 zhōng 中 shì 是 shí jì 实际 kě yòng 可用 de 的 |
The other precondition is that the data that is needed to run the constraint-checking algorithm defined above is actually available in the model. |