摘要: 一、作业概览 本单元作业主要考察学生们对于JML规格的理解与实现,共分为三次作业。 第一次作业,要求实现MyPath与MyPathContainor。在这次作业中,主要实现的操作是对路径的线性管理,较为困难的函数是getdistincnode。原因是,在此函数上的复杂度如果没有进行一定的考量,会很容 阅读全文
posted @ 2019-05-22 17:13 皮卡丘爱吃橙子 阅读(231) 评论(0) 推荐(0) 编辑