public override string ToPrefixString()
{
if (LeftSuccessor == null || RightSuccessor == null)
{
throw new NullReferenceException("Both left and right successor must not be null!");
}
string result = $"{Data}(";
result += LeftSuccessor.ToPrefixString();
result += ", ";
result += RightSuccessor.ToPrefixString();
result += ")";
return(result);
}
public override string ToPrefixString()
{
if (LeftSuccessor == null)
{
throw new NullReferenceException("A predicate is required to be set");
}
string result = $"{Data}{GetBoundVariable()}.";
result += "(";
result += LeftSuccessor.ToPrefixString();
result += ")";
return(result);
}
