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
);
}