public ValueType(GroundType type) { this.IsSigned = type is SIntType; this.HasInitialized = true; this.Value = new BinaryVarValue(type.Width, false); Value.SetAllUnknown(); this.ValueString = null; }
public void InferType() { if (Node != null) { Node.InferType(); } else { Con.InferType(); Con.SetDefaultvalue(); OldValue = new BinaryVarValue(Con.GetValue().Bits.Length, false); OldValue.SetAllUnknown(); foreach (var input in Con.GetConnectedInputs()) { input.InferType(); input.SetDefaultvalue(); } } }