예제 #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
 public Elt(Value v) {
   this.value = v;
 }