mochounv的专栏

将一段imp程序转Kripke structure(KS)。这是系统分析与验证一门课的作业，需要将一段imp程序转为一阶逻辑公式，再由一阶逻辑公式转为 Kripke structure(KS)。并且老师要求是不能使用python.因为github上有python和t实现了完整的过程。https://github.com/lypnol/impy其实也有一个rust 版本https://gitlab.com/davirain.yin/imp-interpeter关于阶逻辑公式和Kripke

很多应用需要定制化窗口，而窗口定制化不能绕过的一个问题是标题栏定制化。基于wpf的窗口程序，一般会通过透明，去边框化的方式将原有的标题栏遮挡。默认情况下，wpf 窗口的标题栏是这样的， 这时最化小，最大化/还原和关闭的行为都是像正常windows程序的行为，不需要添加任何代码。设置 WindowStyle="None" 之后，标题栏的图标，标题以及三个按钮都不见了。但是标题栏的还留下一步部分，如下所示需要添加在窗口属性中添加AllowsTransparency="T.

因为接口形式的兼容性，这种错误更多的是运行时错误。在VS IDE 下使用c#时，创建新类型对象，对没有引用到的程序集，那么一般可以通过“Show potential fixes”来解决但是有时候，我们会查找一下该对象所在的程序集，然后直接在nuget下载，但是下载哪个版本呢，一般最新的会向下兼容，所以一般我们会选择最新的。但是这个最新的版本可能在运行时，程序才能发现这个版本不是自己需...

为对象创建副本的技术称为拷贝（也叫克隆）。我们将拷贝分为浅拷贝和深拷贝。浅拷贝　将对象中的所有字段复制到新的对象（副本）中。其中，值类型字段的值被复制到副本中后，在副本中的修改不会影响到源对象对应的值。而引用类型的字段被复制到副本中的是引用类型的引用，而不是引用的对象，在副本中对引用类型的字段值做修改会影响到源对象本身。深拷贝　同样，将对象中的所有字段复制到新的对象中。不过，无论是对象的值