/// <summary> /// Constructs the durative expression. /// </summary> /// <param name="parameters">List of parameters.</param> /// <param name="expression">Argument expression.</param> public ForallDurativeExpression(Parameters parameters, DurativeExpression expression) { Parameters = parameters; Expression = expression; }
/// <summary> /// Constructs the durative effect. /// </summary> /// <param name="expression">Argument expression.</param> /// <param name="effect">Argument timed effect.</param> public WhenDurativeEffect(DurativeExpression expression, TimedEffect effect) { Expression = expression; Effect = effect; }