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();
}
}
}
