本文整理汇总了C#中Z3Provider.ConvertFromCharSet方法的典型用法代码示例。如果您正苦于以下问题：C# Z3Provider.ConvertFromCharSet方法的具体用法？C# Z3Provider.ConvertFromCharSet怎么用？C# Z3Provider.ConvertFromCharSet使用的例子？那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类Z3Provider的用法示例。
在下文中一共展示了Z3Provider.ConvertFromCharSet方法的1个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的C#代码示例。
示例1: TestCssSafeList
public void TestCssSafeList()
{
Z3Provider solver = new Z3Provider();
var cs = solver.CharSetProvider.MkRangesConstraint(false,
new char[][]{
new char[]{'0','9'},
new char[]{'A','Z'},
new char[]{'a','z'},
new char[]{'\x80','\x90'},
new char[]{'\x93','\x9A'},
new char[]{'\xA0','\xA5'}});
Expr t = solver.ConvertFromCharSet(cs);
int k = cs.CountNodes();
Assert.AreEqual<char>('0', (char)solver.CharSetProvider.GetMin(cs));
Assert.AreEqual<char>('0', (char)solver.CharSetProvider.GetMin(cs));
Assert.AreEqual<char>('\xA5', solver.CharSetProvider.GetMax(cs));
}