public static string ToStringOct(Tv[] a)
{
string str = "";
int offset = 0;
while (offset < a.Length)
{
str = ToolsZ3.BitToCharOct(GetTv(offset), GetTv(offset + 1), GetTv(offset + 2)) + str;
offset += 3;
if ((offset > 0) && (offset < a.Length) && ((offset % 9) == 0))
{
str = '_' + str;
}
}
return("0o" + str);
#region Local Methods
Tv GetTv(int pos)
{
return(((pos < a.Length) && (pos >= 0)) ? a[pos] : Tv.ZERO);
}
#endregion
}
