用eclipse3.1的TPTP插件进行。
http://www.eclipse.org/tptp/home/documents/tutorials/viewlets/v4.1/EW-URLTest/EW-URLTest/EW-URLTest_viewlet_swf.html
这是官方网站一个例子
可惜不太明白,哪位有具体点的例子给我瞅瞅?
猜你喜欢
本站原创《复杂软件设计之道:领域驱动设计全面解析与实战》