예제 #1
0
 /// <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;
 }
예제 #2
0
 /// <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;
 }