【发布时间】:2013-11-21 15:55:47
【问题描述】:
bool.Implies(bool) 定义在哪个库中?
我想像Assert.That (a.Implies(b))一样使用它。
我有一个实现,但宁愿使用内置的。
bool Implies(this bool a, bool b){
return !a || b;
}
【问题讨论】:
-
Implies是做什么的? -
你的意思是:stackoverflow.com/questions/1823168/boolean-implication?我想只有编译器知道。
-
我的研究出现了...msdn.microsoft.com/en-us/library/… 与 Solver Foundation 3.0 中的“模型”有关
-
如你所问,我添加了实现。它不打印任何东西或有任何副作用。它是一个纯函数。
标签: c# .net extension-methods boolean-logic