/// <summary>
/// Converts the enum to string representation.
/// </summary>
/// <param name="timeSpecifier">Value to be converted.</param>
/// <returns>String representation.</returns>
public static string EnumToString(this TimeSpecifier timeSpecifier)
{
switch (timeSpecifier)
{
case TimeSpecifier.START:
return("start");
case TimeSpecifier.END:
return("end");
default:
Debug.Assert(false);
return(timeSpecifier.ToString());
}
}
/// <summary>
/// String representation.
/// </summary>
/// <returns>String representation.</returns>
public override string ToString()
{
return($"(at {TimeSpecifier.EnumToString()} {DurativeConstraint})");
}
/// <summary>
/// Constructs the durative constraint.
/// </summary>
/// <param name="timeSpecifier">Time specifier.</param>
/// <param name="durativeConstraint">Argument durative constraint.</param>
public AtDurativeConstraint(TimeSpecifier timeSpecifier, DurativeConstraint durativeConstraint)
{
TimeSpecifier = timeSpecifier;
DurativeConstraint = durativeConstraint;
}
/// <summary>
/// String representation.
/// </summary>
/// <returns>String representation.</returns>
public override string ToString()
{
return($"(at {TimeSpecifier.EnumToString()} {Expression})");
}
/// <summary>
/// Constructs the durative expression.
/// </summary>
/// <param name="timeSpecifier">Time specifier.</param>
/// <param name="expression">Argument expression.</param>
public AtTimedExpression(TimeSpecifier timeSpecifier, Expression expression)
{
TimeSpecifier = timeSpecifier;
Expression = expression;
}
/// <summary>
/// String representation.
/// </summary>
/// <returns>String representation.</returns>
public override string ToString()
{
return($"(at {TimeSpecifier.EnumToString()} {Effects})");
}
/// <summary>
/// Constructs the durative effect.
/// </summary>
/// <param name="timeSpecifier">Time specifier.</param>
/// <param name="effects">List of primitive effects.</param>
public AtTimedEffect(TimeSpecifier timeSpecifier, PrimitiveEffects effects)
{
TimeSpecifier = timeSpecifier;
Effects = effects;
}
