/// <summary>
/// Bindings for the dependencies from the TheoremSimplifier module.
/// </summary>
/// <param name="kernel">The kernel.</param>
/// <param name="data">The data for <see cref="TheoremSimplifier"/>.</param>
/// <returns>The kernel for chaining.</returns>
public static IKernel AddTheoremSimplifier(this IKernel kernel, TheoremSimplifierData data)
{
// Bind the simplifier
kernel.Bind <ITheoremSimplifier>().To <TheoremSimplifier>().WithConstructorArgument(data);
// Return the kernel for chaining
return(kernel);
}
/// <summary>
/// Initializes a new instance of the <see cref="TheoremSimplifier"/> class.
/// </summary>
/// <param name="data">The data for the simplifier.</param>
public TheoremSimplifier(TheoremSimplifierData data)
{
_data = data ?? throw new ArgumentNullException(nameof(data));
}