本文整理汇总了C#中CharSetSolver.LShiftRight方法的典型用法代码示例。如果您正苦于以下问题:C# CharSetSolver.LShiftRight方法的具体用法?C# CharSetSolver.LShiftRight怎么用?C# CharSetSolver.LShiftRight使用的例子?那么, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类CharSetSolver
的用法示例。
在下文中一共展示了CharSetSolver.LShiftRight方法的1个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于系统推荐出更棒的C#代码示例。
示例1: getDFA
internal override Automaton<BDD> getDFA(List<string> variables, BDD alphabet, CharSetSolver solver)
{
//Automaton<BDD> for formula
var varCopy = new List<string>(variables);
varCopy.Insert(0, variable);
var autPhi = phi.getDFA(varCopy, alphabet, solver);
//Remove first bit from each move
var newMoves = new List<Move<BDD>>();
foreach (var move in autPhi.GetMoves())
{
var newCond = solver.LShiftRight(move.Label);
newMoves.Add(new Move<BDD>(move.SourceState, move.TargetState, newCond));
}
var dfanew = Automaton<BDD>.Create(autPhi.InitialState, autPhi.GetFinalStates(), newMoves).Determinize(solver);
var dfamin = dfanew.Minimize(solver);
return dfamin;
}