- 博客(2)
- 收藏
- 关注
原创 阅读笔记——编程原本,Ch2变换与轨道
变换 谓词,一元谓词,运算 一个非全过程(其定义空间是其输入类型直积的真子集)需要有一个描述其定义空间的前置条件,从而验证对这个过程的调用是正确的。比如C语言的32位整数加法,就需要保证输入的两个参数的和不会溢出。 变换(Transformation) 其中DistanceType(F)是一个足够大的整数类型,足以表示变换从一个元素到另一个元素的最大步数。在
2013-05-22 18:14:14 45
原创 Project Explorer (3) - 在视图中展现满足特定名字的资源
简介 在CDT创建的C/C++ Project之中,可以使用"Build Project"来驱动make完成一个工程的编译。在Project Explorer中除了会有生成的Debug(或Release)文件夹来展现新生成的文件之外,还会有Binaries Container来集中展现满足一定条件的文件(即,编译结果)。 在我自己定制的Project类型之中,也有类似的需求——将满足特
2013-02-17 15:00:53 43
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人