public ZincTypeInstBaseExpression(IZincType type, ZincVarPar varPar = ZincVarPar.Par) : this(varPar, type) { }
/// <summary> /// Initializes a new instance of the <see cref="ZincOxide.MiniZinc.Types.Fundamental.ZincFundamentalTypeInst"/> class with a specified /// instantiation and fundamental type. /// </summary> /// <param name="instantiation">The instantiation of the type-instance.</param> /// <param name="type">The type of the type-instance.</param> /// <exception cref="ArgumentNullException">If <paramref name="type"/> is not effective.</exception> public MiniZincTypeInst(ZincVarPar instantiation, IMiniZincType type) { this.Instantiation = instantiation; this.Type = type; }
public ZincTypeInstBaseExpression(ZincVarPar varPar, IZincType type) : base(type) { this.VarPar = varPar; this.Type = type; }
/// <summary> /// Converts a given <see cref="ZincVarPar"/> instance to a var-par literal. /// </summary> /// <returns>The given <paramref name="varpar"/> as a var-par literal.</returns> /// <param name="varpar">The given <see cref="ZincVarPar"/> to convert.</param> public static string VarParLiteral(ZincVarPar varpar) { Contract.Ensures(Contract.Result <string> () != null); Contract.Ensures(Contract.Result <string> ().Length > 0x00); return(varpar.ToString().ToLower()); }
/// <summary> /// Converts a given <see cref="ZincVarPar"/> instance to a var-par literal. /// </summary> /// <returns>The given <paramref name="varpar"/> as a var-par literal.</returns> /// <param name="varpar">The given <see cref="ZincVarPar"/> to convert.</param> public static string VarParLiteral(ZincVarPar varpar) { Contract.Ensures (Contract.Result<string> () != null); Contract.Ensures (Contract.Result<string> ().Length > 0x00); return varpar.ToString ().ToLower (); }