/// <summary> /// String representation. /// </summary> /// <returns>String representation.</returns> public override string ToString() { return($"(at {TimeSpecifier.EnumToString()} {Expression})"); }
/// <summary> /// String representation. /// </summary> /// <returns>String representation.</returns> public override string ToString() { return($"(at {TimeSpecifier.EnumToString()} {DurativeConstraint})"); }
/// <summary> /// String representation. /// </summary> /// <returns>String representation.</returns> public override string ToString() { return($"(at {TimeSpecifier.EnumToString()} {Effects})"); }