示例#1
0
 /// <summary>
 /// String representation.
 /// </summary>
 /// <returns>String representation.</returns>
 public override string ToString()
 {
     return($"(at {TimeSpecifier.EnumToString()} {Expression})");
 }
示例#2
0
 /// <summary>
 /// String representation.
 /// </summary>
 /// <returns>String representation.</returns>
 public override string ToString()
 {
     return($"(at {TimeSpecifier.EnumToString()} {DurativeConstraint})");
 }
示例#3
0
 /// <summary>
 /// String representation.
 /// </summary>
 /// <returns>String representation.</returns>
 public override string ToString()
 {
     return($"(at {TimeSpecifier.EnumToString()} {Effects})");
 }