コード例 #1
0
      public BigNum constantValue; // valid iff domainValue == Value.Constant

      public Elt(Value v) {
        this.domainValue = v;
      }
コード例 #2
0
 public Elt(BigNum i) {
   this.domainValue = Value.Constant;
   this.constantValue = i;
 }
コード例 #3
0
ファイル: Nullness.cs プロジェクト: Chenguang-Zhu/ICE-C5 
 public Elt(Value v) {
   this.value = v;
 }