private string ToString(Rn name, State state)
{
Tv[] array = state.GetTv5Array(name);
var tup = ToolsZ3.HasOneValue(array);
if (tup.hasOneValue)
{
return(ToolsZ3.ToStringBin(tup.value) + "");
}
else
{
return(ToolsZ3.ToStringBin(array));
}
}
public string ToStringRegs(string identStr)
{
StringBuilder sb = new StringBuilder();
foreach (Rn reg in this.Tools.StateConfig.GetRegOn())
{
Tv[] regContent = this.GetTvArray(reg);
var(hasOneValue, value) = ToolsZ3.HasOneValue(regContent);
bool showReg = !(hasOneValue && value == Tv.UNKNOWN);
if (showReg)
{
sb.Append("\n" + identStr + string.Format(reg + " = {0} = {1}", ToolsZ3.ToStringBin(regContent), ToolsZ3.ToStringHex(regContent)));
}
}
return(sb.ToString());
}
