然后中文简述总结:. predicate是一种布尔值函数,所谓布尔值函数,即自变量x映射到因变量y,y的取值是true或者false。 assertion是程序声明(statement)的一种,执行 ...
確定! 回上一頁