2021年5月16日
CPA的编写
摘要： CPA的编写主要是三个文件：CPA.java，State.java，TransferRelations.java，以Mytest为例。 首先编写MyTestState.java MyTestState主要是通过继承AbstractState来实现，可以根据需要添加自己所需要的属性等，这里仅仅简单添加 阅读全文
posted @ 2021-05-16 13:48 mujueke 阅读(238) 评论(0) 推荐(0)