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