[8703] | 1 | using System;
|
---|
| 2 | using System.Collections.Generic;
|
---|
| 3 | using System.Linq;
|
---|
| 4 | using System.Text;
|
---|
| 5 | using System.Diagnostics.Contracts;
|
---|
| 6 |
|
---|
| 7 | namespace AutoDiff
|
---|
| 8 | {
|
---|
| 9 | /// <summary>
|
---|
| 10 | /// Represents a custom unary function term. The user provides custom delegates
|
---|
| 11 | /// to evaluate and compute the derivative (differentiate) the function.
|
---|
| 12 | /// </summary>
|
---|
| 13 | public class UnaryFunc : Term
|
---|
| 14 | {
|
---|
| 15 | private readonly Func<double, double> eval;
|
---|
| 16 | private readonly Func<double, double> diff;
|
---|
| 17 | private readonly Term argument;
|
---|
| 18 |
|
---|
| 19 | /// <summary>
|
---|
| 20 | /// Initializes a new instance of the <see cref="UnaryFunc"/> class.
|
---|
| 21 | /// </summary>
|
---|
| 22 | /// <param name="eval">The evaluation method for the custom function.</param>
|
---|
| 23 | /// <param name="diff">The differentiation method for the custom function.</param>
|
---|
| 24 | /// <param name="argument">The argument term for the unary function</param>
|
---|
| 25 | public UnaryFunc(Func<double, double> eval, Func<double, double> diff, Term argument)
|
---|
| 26 | {
|
---|
| 27 | Contract.Requires(eval != null);
|
---|
| 28 | Contract.Requires(diff != null);
|
---|
| 29 | Contract.Requires(argument != null);
|
---|
| 30 |
|
---|
| 31 | Contract.Ensures(Eval == eval);
|
---|
| 32 | Contract.Ensures(Diff == diff);
|
---|
| 33 | Contract.Ensures(Argument == argument);
|
---|
| 34 |
|
---|
| 35 | this.eval = eval;
|
---|
| 36 | this.diff = diff;
|
---|
| 37 | this.argument = argument;
|
---|
| 38 | }
|
---|
| 39 |
|
---|
| 40 | /// <summary>
|
---|
| 41 | /// Constructs a factory delegate that creates similar unary functions for different terms.
|
---|
| 42 | /// </summary>
|
---|
| 43 | /// <param name="eval">The evaluation method for the custom function.</param>
|
---|
| 44 | /// <param name="diff">The differentiation method for the custom function.</param>
|
---|
| 45 | /// <returns>The described factory delegate</returns>
|
---|
| 46 | public static Func<Term, UnaryFunc> Factory(Func<double, double> eval, Func<double, double> diff)
|
---|
| 47 | {
|
---|
| 48 | Contract.Requires(eval != null);
|
---|
| 49 | Contract.Requires(diff != null);
|
---|
| 50 | Contract.Ensures(Contract.Result<Func<Term, UnaryFunc>>() != null);
|
---|
| 51 |
|
---|
| 52 | Func<Term, UnaryFunc> result = term => new UnaryFunc(eval, diff, term);
|
---|
| 53 | return result;
|
---|
| 54 | }
|
---|
| 55 |
|
---|
| 56 | /// <summary>
|
---|
| 57 | /// Gets the evaluation delegate.
|
---|
| 58 | /// </summary>
|
---|
| 59 | public Func<double, double> Eval { get { return eval; } }
|
---|
| 60 |
|
---|
| 61 |
|
---|
| 62 | /// <summary>
|
---|
| 63 | /// Gets the differentiation delegate.
|
---|
| 64 | /// </summary>
|
---|
| 65 | public Func<double, double> Diff { get { return diff; } }
|
---|
| 66 |
|
---|
| 67 | /// <summary>
|
---|
| 68 | /// Gets the function's argument term
|
---|
| 69 | /// </summary>
|
---|
| 70 | public Term Argument { get { return argument; } }
|
---|
| 71 |
|
---|
| 72 | /// <summary>
|
---|
| 73 | /// Accepts a term visitor
|
---|
| 74 | /// </summary>
|
---|
| 75 | /// <param name="visitor">The term visitor to accept</param>
|
---|
| 76 | public override void Accept(ITermVisitor visitor)
|
---|
| 77 | {
|
---|
| 78 | visitor.Visit(this);
|
---|
| 79 | }
|
---|
| 80 |
|
---|
| 81 | /// <summary>
|
---|
| 82 | /// Accepts a term visitor with a generic result
|
---|
| 83 | /// </summary>
|
---|
| 84 | /// <typeparam name="TResult">The type of the result from the visitor's function</typeparam>
|
---|
| 85 | /// <param name="visitor">The visitor to accept</param>
|
---|
| 86 | /// <returns>
|
---|
| 87 | /// The result from the visitor's visit function.
|
---|
| 88 | /// </returns>
|
---|
| 89 | public override TResult Accept<TResult>(ITermVisitor<TResult> visitor)
|
---|
| 90 | {
|
---|
| 91 | return visitor.Visit(this);
|
---|
| 92 | }
|
---|
| 93 | }
|
---|
| 94 | }
|
---|