public static MvcHtmlString ToHtmlString( EventuallyBefore expression, bool link = true) { var bound = GetTimeBound (expression.TimeBound); return MvcHtmlString.Create (string.Format("¬ {1} W{2} ({0} ∧ ¬ {1})", Embed(expression, expression.Left, expression.Left.ToHtmlString(link)), Embed(expression, expression.Right, expression.Right.ToHtmlString(link)), bound )); }
private static string ToHtmlString(EventuallyBefore expression) { var bound = GetTimeBound (expression.TimeBound); return string.Format("¬ {1} W{2} ({0} ∧ ¬ {1})", Parenthesize(expression, expression.Left, ToHtmlString(expression.Left)), Parenthesize(expression, expression.Right, ToHtmlString(expression.Right)), bound ); }