private string ToASSTring() { string b, e; if (isTerm) { b = "{ "; e = " }"; } else { b = ""; e = "."; } return(b + ((label == null) ? "" : "@" + label + " ") + tevent + ((context == null) ? "" : " : " + context) + (body.IsEmptyBody() ? "" : " <- " + body) + e); }
public bool IsFinished() => planBody == null || planBody.IsEmptyBody();