public virtual object Visit(CogniPy.CNL.DL.OnlyRestriction e) { using (isKindOf.set("R")) e.R.accept(this); using (isKindOf.set("C")) e.C.accept(this); return(e); }
public object Visit(CogniPy.CNL.DL.OnlyRestriction e) { StringBuilder sb = new StringBuilder(); using (isKindOf.set(EntityKind.Role)) { sb.Append("∀" + brack(e, e.R) + "."); } using (isKindOf.set(EntityKind.Concept)) { sb.Append(brack(e, e.C)); } return(sb.ToString()); }