public SymbolicValue(SymbolicValueType type, int constant = 0) { this.Type = type; this.Constant = constant; }
public SymbolicValue(SymbolicValueType type, LongSet valueSet) { this.Type = type; this.Constant = 0; this.ValueSet = valueSet; }
public SymbolicValue(SymbolicValueType type, int constant = 0) { Type = type; Constant = constant; }