代码-合同 问答列表

如何在 Ada 中对 2D 数组类型作为参数的函数进行算术合约运算

作者:Simple_tech 提问时间:7/10/2019

我有一个函数,应该返回找到的岛屿计数。 我将这个函数命名为 Count_Islands 它接受一个参数 Map 类型的Map_Array,其中 Map 是 Islands 数组。 Islands ...


共1条 当前第1页