本文整理汇总了C#中Z3Provider.ConvertToCharSet方法的典型用法代码示例。如果您正苦于以下问题：C# Z3Provider.ConvertToCharSet方法的具体用法？C# Z3Provider.ConvertToCharSet怎么用？C# Z3Provider.ConvertToCharSet使用的例子？那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类Z3Provider的用法示例。
在下文中一共展示了Z3Provider.ConvertToCharSet方法的1个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的C#代码示例。
示例1: ConvertToAutomatonOverBvSet
static Automaton<BDD> ConvertToAutomatonOverBvSet(Z3Provider solver, Automaton<Expr> aut)
{
var moves = new List<Move<BDD>>();
foreach (var move in aut.GetMoves())
if (move.IsEpsilon)
moves.Add(Move<BDD>.Epsilon(move.SourceState, move.TargetState));
else
moves.Add(Move<BDD>.Create(move.SourceState, move.TargetState, solver.ConvertToCharSet(move.Label)));
var res = Automaton<BDD>.Create(solver.CharSetProvider, aut.InitialState, aut.GetFinalStates(), moves);
return res;
}