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