/// <summary>
/// Converts the enum to string representation.
/// </summary>
/// <param name="durationComparer">Value to be converted.</param>
/// <returns>String representation.</returns>
public static string EnumToString(this DurationComparer durationComparer)
{
switch (durationComparer)
{
case DurationComparer.LTE:
return("<=");
case DurationComparer.GTE:
return(">=");
case DurationComparer.EQ:
return("=");
default:
Debug.Assert(false);
return(durationComparer.ToString());
}
}
/// <summary>
/// String representation.
/// </summary>
/// <returns>String representation.</returns>
public override string ToString()
{
return($"({DurationComparer.EnumToString()} ?duration {Value})");
}
/// <summary>
/// Constructs the durative constraint.
/// </summary>
/// <param name="durationComparer">Duration comparer specifier.</param>
/// <param name="value">Numeric expression to compare.</param>
public CompareDurativeConstraint(DurationComparer durationComparer, NumericExpression value)
{
DurationComparer = durationComparer;
Value = value;
}
