/// <summary>
 /// Constructs a <b>DelegatedPrecondition</b> that will use the given
 /// delegate for evaluation.
 /// </summary>
 /// <param name="function">The delegate evaluation function.</param>
 public DelegatedPrecondition(PreconditionDelegate function)
 {
     this.function = function;
 }
 /// <summary>
 /// Constructs a <b>DelegatedPrecondition</b> that will use the given
 /// delegate for evaluation.
 /// </summary>
 /// <param name="function">The delegate evaluation function.</param>
 public DelegatedPrecondition(PreconditionDelegate function)
 {
     this.function = function;
 }