コード例 #1
0
 public ZincTypeInstBaseExpression(IZincType type, ZincVarPar varPar = ZincVarPar.Par)
     : this(varPar, type)
 {
 }
コード例 #2
0
 /// <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;
 }
コード例 #3
0
 public ZincTypeInstBaseExpression(ZincVarPar varPar, IZincType type)
     : base(type)
 {
     this.VarPar = varPar;
     this.Type = type;
 }
コード例 #4
0
 /// <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;
 }
コード例 #5
0
 public ZincTypeInstBaseExpression(IZincType type, ZincVarPar varPar = ZincVarPar.Par) : this(varPar, type)
 {
 }
コード例 #6
0
 public ZincTypeInstBaseExpression(ZincVarPar varPar, IZincType type) : base(type)
 {
     this.VarPar = varPar;
     this.Type   = type;
 }
コード例 #7
0
ファイル: ZincPrintUtils.cs プロジェクト: falcong/ZincOxide
 /// <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());
 }
コード例 #8
0
ファイル: ZincPrintUtils.cs プロジェクト: KommuSoft/ZincOxide
 /// <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 ();
 }