本文整理汇总了C#中CharSetSolver.Serialize方法的典型用法代码示例。如果您正苦于以下问题:C# CharSetSolver.Serialize方法的具体用法?C# CharSetSolver.Serialize怎么用?C# CharSetSolver.Serialize使用的例子?那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类CharSetSolver
的用法示例。
在下文中一共展示了CharSetSolver.Serialize方法的1个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于系统推荐出更棒的C#代码示例。
示例1: CreateUlongArray
private static void CreateUlongArray(StreamWriter sw)
{
sw.WriteLine("/// <summary>");
sw.WriteLine("/// Serialized BDD for mapping characters to their case-ignoring equivalence classes.");
sw.WriteLine("/// </summary>");
sw.WriteLine("public static ulong[] ignorecase = new ulong[]{");
CharSetSolver solver = new CharSetSolver();
Dictionary<char, BDD> ignoreCase = ComputeIgnoreCaseDistionary(solver);
BDD ignorecase = solver.False;
foreach (var kv in ignoreCase)
{
var a = solver.MkCharSetFromRange(kv.Key, kv.Key);
var b = kv.Value;
ignorecase = ignorecase.Or(a.ShiftLeft(16).And(b));
}
var ignorecaseArray = solver.Serialize(ignorecase);
for (int i = 0; i < ignorecaseArray.Length; i++)
sw.WriteLine("0x{0:X16},", ignorecaseArray[i]);
sw.WriteLine("};"); //end of array
}