public BigNum constantValue; // valid iff domainValue == Value.Constant

      public Elt(Value v) {
        this.domainValue = v;
      }
 public Elt(BigNum i) {
   this.domainValue = Value.Constant;
   this.constantValue = i;
 }
Beispiel #3
0
 public Elt(Value v) {
   this.value = v;
 }