C# (CSharp) KAOSTools.MetaModel Not示例

示例#1

文件： FormalSpecHelper.cs 项目： ancailliau/KAOSTools

 public static MvcHtmlString ToHtmlString( Not expression, bool link = true)
 {
     return MvcHtmlString.Create (string.Format("¬ {0}",
                                                Embed(expression, expression.Enclosed, expression.Enclosed.ToHtmlString(link))
                                                ));
 }

示例#2

文件： FormalSpecHtmlExporter.cs 项目： ancailliau/KAOSTools

 private static string ToHtmlString(Not expression)
 {
     return string.Format ("¬ {0}",
                          Parenthesize (expression, expression.Enclosed, ToHtmlString (expression.Enclosed))
                          );
 }