Ejemplo n.º 1
0
      public BigNum constantValue; // valid iff domainValue == Value.Constant

      public Elt(Value v) {
        this.domainValue = v;
      }
Ejemplo n.º 2
0
 public Elt(BigNum i) {
   this.domainValue = Value.Constant;
   this.constantValue = i;
 }
Ejemplo n.º 3
0
 public Elt(Value v) {
   this.value = v;
 }