【文件属性】：
文件名称：PC:粒子碰撞
文件大小：2KB
文件格式：ZIP
更新时间：2021-03-27 03:44:41
合同数学{函数mul（uint256 a，uint256 b）内部返回（uint256）{uint256 c = a * b; assert（a == 0 || c / a == b）; 返回c; }
函数div（uint256 a，uint256 b）内部返回（uint256）{assert（b> 0）; uint256 c = a / b; assert（a == b * c + a％b）; 返回c; }
函数sub（uint256 a，uint256 b）内部返回（uint256）{assert（b <= a）; 返回a-b; }
函数add（uint256 a，uint256 b）内部返回（uint256）{uint256 c = a + b; assert（c> = a && c> = b）; 返回c; }
函数assert（bool assertion）内部{if（！a
【文件预览】：
PC-master
----README.md(4KB)
----PC.solidity(4KB)