接下来是第二种注释语句类型Assumption。语法_(Assume E), 这个表达式是让VCC在接下来的额推理中，无视表达式E, 直接认可表达式E。例：int x, y;_(assume x != 0)y = 100 / x;在没有那条assumption之前，VCC肯定不会通过验证，因为x可能...
分类：
其他好文 时间：
2015-12-05 11:13:00
阅读次数：
137
?12345678910111213141516171819202122232425262728293031323334353637/**@Author:SHUAI*@Date:2015-12-0508:50:58*//*串的比较，思路s1[0]==s2[0]逐层递归三个出口长度不同比较到最后0个首...
分类：
其他好文 时间：
2015-12-05 11:11:10
阅读次数：
94
1、项目名称：2、程序代码：package com.dedup;import java.io.IOException;import org.apache.hadoop.conf.Configuration;import org.apache.hadoop.fs.Path;import org.apa...
分类：
其他好文 时间：
2015-12-05 11:11:56
阅读次数：
244
?12345678910111213总结:递归调用仅仅是被调函数恰为主调函数注意每次调用的层次不同注意每次分配形参并非同一个变量注意返回的次序形象的故事：从前有座山(1).山里有座庙(1).庙里有个老和尚(1)和小和尚(1).老和尚对小和尚说:“从前有座山(2).山里有座庙(2).庙里有个老和尚(2...
分类：
其他好文 时间：
2015-12-05 11:12:46
阅读次数：
134
梦想总是遥不可及，是不是应该放弃，花开花落又是雨季，春天啊你在哪里。 对了，你还记得小时候的梦想吗？ 你曾经天真的以为，小时候的梦想每一个每一个都会实现，直到你慢慢的长大，才知道，人生就像热气球一样，要越飞越高，就要把沙袋一个一个的丢掉，慢慢的到最后，梦想都丢光了，你就变成了你最不认识的你。...
分类：
其他好文 时间：
2015-12-05 11:11:14
阅读次数：
152
Highcharts 是一个用纯JavaScript编写的一个图表库, 能够很简单便捷的在web网站或是web应用程序添加有交互性的图表，并且免费提供给个人学习、个人网站和非商业用途使用。目前HighCharts支持的图表类型有曲线图、区域图、柱状图、饼状图、散状点图和综合图表。HighCharts...
分类：
其他好文 时间：
2015-12-05 11:09:15
阅读次数：
183
Select选择需要返回的字段Where筛选OrderBy正序排序OrderByDescending倒序排序ThenBy在OrderBy或OrderByDescending的基础上再正序排序ThenByDescending在OrderBy或OrderByDescending的基础上再倒序排序Grou...
分类：
其他好文 时间：
2015-12-05 11:08:10
阅读次数：
109
#Html今日学习内容这是第一次锚点标题一我很快乐，我很喜欢，很愉悦。标题二我们都是好伙伴，大家都很团结。我们都是好伙伴，大家都很团结。我们都是好伙伴，大家都很团结。段落一，我们来打开一个链接百度一下段落二，我们来插入一张图片div是一个盒子，是一个分区元素、块级元素，它占了一个行转到锚点跳转无序列...
分类：
其他好文 时间：
2015-12-05 11:08:38
阅读次数：
172
public class Solution { public TreeNode buildTree(int[] inorder, int[] postorder) { return helper(inorder, postorder, 0, inorder.length - 1,...
分类：
其他好文 时间：
2015-12-05 11:07:56
阅读次数：
122
Given a collection of intervals, merge all overlapping intervals.For example,Given [1,3],[2,6],[8,10],[15,18],return [1,6],[8,10],[15,18].class Soluti...
分类：
其他好文 时间：
2015-12-05 11:07:06
阅读次数：
127
1.打开终端，输入以下代码获取到DVTPlugInCompatibilityUUID defaults read /Applications/Xcode.app/Contents/Info DVTPlugInCompatibilityUUID2.然后输入如下命令 【最后一项是获取到的DVTPlu.....
分类：
其他好文 时间：
2015-12-05 11:09:31
阅读次数：
123
配置ssh免密码登录1) 验证是否安装ssh：ssh -version显示如下的话则成功安装了OpenSSH_6.2p2 Ubuntu-6ubuntu0.1, OpenSSL 1.0.1e 11 Feb 2013Bad escape character 'rsion'.否则安装ssh：sudo ap...
分类：
其他好文 时间：
2015-12-05 11:06:31
阅读次数：
142
1.重点说一下属性选择器的优先级： 测试1：在以下的冲突中，~="warning"占了更高的优先级。第一行和第三行文本显示为灰色 Welcome!Hello!Hello! 测试2：在以下冲突中，.warning.danger占了最高的优先级。 Welcome!Hello!...
分类：
其他好文 时间：
2015-12-05 11:06:09
阅读次数：
182
转载自：http://www.tqcto.com/article/mobile/56963.html根据你需要执行的动作, 这里有几个方法:-(id)initWithFrame:(CGRect)frame- UIView的指定初始化方法; 总是发送给UIView去初始化, 除非是从一个nib文件中加...
分类：
其他好文 时间：
2015-12-05 11:04:52
阅读次数：
144
1. binary tree inorder traversal 不能用recursive写 （LC原题）2. 比如有个数组F={1，3， 4， 5， 2， 0}， A=3， 那么F[A]=5, F[F[A]]=0, F[F[F[A]]]=1....这样下去求第N个数是多少. from: 1poin...
分类：
其他好文 时间：
2015-12-05 11:06:38
阅读次数：
209
http://www.cnblogs.com/liuhaorain/archive/2012/01/24/2311352.html摘要Highcharts图表控件是目前使用最为广泛的图表控件。本文将从零开始逐步为你介绍Highcharts图表控件。通过本文，你将学会如何配置Highcharts以及动...
分类：
其他好文 时间：
2015-12-05 11:07:34
阅读次数：
174
1、新建MR工程依次点击 File → New → Ohter…选择 “Map/Reduce Project”，然后输入项目名称:mrdemo，创建新项目:2、（这步在以后的开发中可能会用到，但是现在不用，现在直接新建一个class文件即可）创建Mapper和Reducer依次点击 File → N...
分类：
其他好文 时间：
2015-12-05 11:05:37
阅读次数：
156
