/// <summary>
/// Initializes a new instance of the <see cref="MiniZincArrayType"/> class with
/// a given type instance for the index and the elements.
/// </summary>
/// <param name="indexType">The type of the index of the array.</param>
/// <param name="elementType">The type of the elements in the array.</param>
/// <exception cref="ArgumentNullException">If <paramref name="indexType"/> or
/// <paramref name="elementType"/> is not effective.</exception>
/// <exception cref="ArgumentException">If the <paramref name="indexType"/> is varified.</exception>
public MiniZincArrayType(IMiniZincTypeInst indexType, IMiniZincTypeInst elementType)
{
this.IndexType = indexType;
this.ElementType = elementType;
}
public bool CanVarify(IMiniZincTypeInst other)
{
throw new NotImplementedException ();
}
/// <summary>
/// Initializes a new instance of the <see cref="MiniZincSetType"/> class with
/// a given element's type.
/// </summary>
/// <param name="elementType">The element's type of the set.</param>
/// <exception cref="ArgumentNullException">If the given <paramref name="elementType"/> is <see langword="null"/>.</exception>
public MiniZincSetType(IMiniZincTypeInst elementType)
{
Contract.Ensures(this.elementType != null);
this.ElementType = elementType;
}
/// <summary>
/// Initializes a new instance of the <see cref="MiniZincArrayType"/> class with
/// a given type instance for the index and the elements.
/// </summary>
/// <param name="indexType">The type of the index of the array.</param>
/// <param name="elementType">The type of the elements in the array.</param>
/// <exception cref="ArgumentNullException">If <paramref name="indexType"/> or
/// <paramref name="elementType"/> is not effective.</exception>
/// <exception cref="ArgumentException">If the <paramref name="indexType"/> is varified.</exception>
public MiniZincArrayType(IMiniZincTypeInst indexType, IMiniZincTypeInst elementType)
{
this.IndexType = indexType;
this.ElementType = elementType;
}
public bool CanCoerce(IMiniZincTypeInst other)
{
throw new NotImplementedException();
}
/// <summary>
/// Initializes a new instance of the <see cref="MiniZincSetType"/> class with
/// a given element's type.
/// </summary>
/// <param name="elementType">The element's type of the set.</param>
/// <exception cref="ArgumentNullException">If the given <paramref name="elementType"/> is <see langword="null"/>.</exception>
public MiniZincSetType(IMiniZincTypeInst elementType)
{
Contract.Ensures (this.elementType != null);
this.ElementType = elementType;
}
