- 博客(2)
- 收藏
- 关注
RSS订阅原创 阅读笔记——编程原本，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关注的人