/// <summary>
/// Replaces all the instances stored in the given <see cref="T:IDictionary`2"/>
/// stored as keys to the corresponding values and returns this instance.
/// </summary>
/// <param name='identMap'>
/// A <see cref="T:IDictionary`2"/> that contains pairs if
/// <see cref="IZincIdent"/> instances. The keys should be replaced by the values of the dictionary.
/// </param>
/// <returns>
/// This instance, for cascading purposes.
/// </returns>
public override IZincIdentReplaceContainer Replace(IDictionary <IZincIdent, IZincIdent> identMap)
{
this.NumericExpression2 = this.NumericExpression2.Replace(identMap) as IZincNumExp;
return(base.Replace(identMap));
}
public ZincTypeInstRangeExpression(IZincNumExp numexp1, IZincNumExp numexp2) : base(numexp1, numexp2)
{
}
/// <summary>
/// Initializes a new instance of the <see cref="ZincOxide.MiniZinc.Boxes.ZincNumNumBoxBase"/> class with
/// two given initial <see cref="IZincNumExp"/> instances.
/// </summary>
/// <param name='numericExpression'>
/// The first <see cref="IZincNumExp"/> instance.
/// </param>
/// <param name='numericExpression2'>
/// The second <see cref="IZincNumExp"/> instance.
/// </param>
protected ZincNumNumBoxBase(IZincNumExp numericExpression, IZincNumExp numericExpression2) : base(numericExpression)
{
this.NumericExpression2 = numericExpression2;
}
/// <summary>
/// Initializes a new instance of the <see cref="ZincNumBoxBase"/> class with a given initial
/// <see cref="IZincNumExp"/> instance.
/// </summary>
/// <param name='numericExpression'>
/// The initial numeric expression.
/// </param>
protected ZincNumBoxBase(IZincNumExp numericExpression)
{
this.NumericExpression = numericExpression;
}
/// <summary>
/// Initializes a new instance of the <see cref="ZincNumBoxBase"/> class with a given initial
/// <see cref="IZincNumExp"/> instance.
/// </summary>
/// <param name='numericExpression'>
/// The initial numeric expression.
/// </param>
protected ZincNumBoxBase(IZincNumExp numericExpression)
{
this.NumericExpression = numericExpression;
}
/// <summary>
/// Replaces all the instances stored in the given <see cref="T:IDictionary`2"/>
/// stored as keys to the corresponding values and returns this instance.
/// </summary>
/// <param name='identMap'>
/// A <see cref="T:IDictionary`2"/> that contains pairs if
/// <see cref="IZincIdent"/> instances. The keys should be replaced by the values of the dictionary.
/// </param>
/// <returns>
/// This instance, for cascading purposes.
/// </returns>
public override IZincIdentReplaceContainer Replace(IDictionary<IZincIdent, IZincIdent> identMap)
{
this.NumericExpression = this.NumericExpression.Replace (identMap) as IZincNumExp;
return this;
}
public ZincTypeInstRangeExpression(IZincNumExp numexp1, IZincNumExp numexp2)
: base(numexp1, numexp2)
{
}
/// <summary>
/// Initializes a new instance of the <see cref="ZincOxide.MiniZinc.Boxes.ZincNumNumBoxBase"/> class with
/// two given initial <see cref="IZincNumExp"/> instances.
/// </summary>
/// <param name='numericExpression'>
/// The first <see cref="IZincNumExp"/> instance.
/// </param>
/// <param name='numericExpression2'>
/// The second <see cref="IZincNumExp"/> instance.
/// </param>
protected ZincNumNumBoxBase(IZincNumExp numericExpression, IZincNumExp numericExpression2)
: base(numericExpression)
{
this.NumericExpression2 = numericExpression2;
}
