/// <summary>
/// Initializes a new instance of the <see cref="IObjectIntroducer"/> class.
/// </summary>
/// <param name="data">The data with the rules for the introducer.</param>
public ObjectIntroducer(ObjectIntroducerData data)
{
_data = data ?? throw new ArgumentNullException(nameof(data));
}
/// <summary>
/// Initializes a new instance of the <see cref="TheoremProvingSettings"/> class.
/// </summary>
/// <param name="inferenceRuleManagerData">The data for <see cref="InferenceRuleManager"/>.</param>
/// <param name="objectIntroducerData">The data for <see cref="ObjectIntroducer"/>.</param>
/// <param name="theoremProverSettings">The settings for <see cref="TheoremProver"/>.</param>
public TheoremProvingSettings(InferenceRuleManagerData inferenceRuleManagerData, ObjectIntroducerData objectIntroducerData, TheoremProverSettings theoremProverSettings)
{
InferenceRuleManagerData = inferenceRuleManagerData ?? throw new ArgumentNullException(nameof(inferenceRuleManagerData));
ObjectIntroducerData = objectIntroducerData ?? throw new ArgumentNullException(nameof(objectIntroducerData));
TheoremProverSettings = theoremProverSettings ?? throw new ArgumentNullException(nameof(theoremProverSettings));
}
