本文整理汇总了C#中CharSetSolver.ShiftLeft方法的典型用法代码示例。如果您正苦于以下问题：C# CharSetSolver.ShiftLeft方法的具体用法？C# CharSetSolver.ShiftLeft怎么用？C# CharSetSolver.ShiftLeft使用的例子？那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类CharSetSolver的用法示例。
在下文中一共展示了CharSetSolver.ShiftLeft方法的1个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的C#代码示例。
示例1: computeDFA
internal static Automaton<BDD> computeDFA(List<string> variables, BDD alphabet, CharSetSolver solver, string set, BDD pred)
{
int setbit = variables.IndexOf(set);
//Compute predicates for pos-th bit is 0 or 1
var trueBv = solver.MkSetFromRange(0, (uint)(Math.Pow(2, variables.Count + 16) - 1), variables.Count + 16 - 1);
var posIs1 = solver.MkAnd(new BDD[] { trueBv, solver.MkSetWithBitTrue(setbit), solver.ShiftLeft(pred, variables.Count) });
var posIs0 = solver.MkAnd(trueBv, solver.MkSetWithBitFalse(setbit));
//Create automaton for condition
var moves = new Move<BDD>[] {
new Move<BDD>(0, 0, posIs0),
new Move<BDD>(0, 0, posIs1)
};
var dfa = Automaton<BDD>.Create(0, new int[] { 0 }, moves);
return dfa;
}