public virtual string GetSemanticContextDisplayString(SemanticContext semctx)
{
if (semctx is SemanticContext.Predicate)
{
return GetPredicateDisplayString((SemanticContext.Predicate)semctx);
}
if (semctx is SemanticContext.AND)
{
SemanticContext.AND and = (SemanticContext.AND)semctx;
return JoinPredicateOperands(and, " and ");
}
if (semctx is SemanticContext.OR)
{
SemanticContext.OR or = (SemanticContext.OR)semctx;
return JoinPredicateOperands(or, " or ");
}
return semctx.ToString();
}