public object Visit(CogniPy.CNL.DL.Disjoint e)
{
StringBuilder sb = new StringBuilder();
if (e.Disjoints.Count == 2)
{
sb.Append(e.Disjoints[0].accept(this));
sb.Append("⊑");
sb.Append(Modality(e.modality));
sb.Append("￢");
sb.Append(e.Disjoints[1].accept(this));
return(sb.ToString());
}
else
{
sb.Append("￢≡(");
bool first = true;
foreach (var x in e.Disjoints)
{
if (first)
{
first = false;
}
else
{
sb.Append(",");
}
sb.Append(x.accept(this));
}
sb.Append(")");
}
return(sb.ToString());
}
public virtual object Visit(CogniPy.CNL.DL.Disjoint e)
{
for (int i = 0; i < e.Disjoints.Count; i++)
{
e.Disjoints[i].accept(this);
}
return(e);
}
