private string PrintEpsilon(BvSet cond, CharSetSolver slvr)
{
if (cond == null)
{
return("E");
}
else
{
return(slvr.PrettyPrint(cond));
}
}
public List <Transduction> AvailableMoves()
{
IEnumerable <Move <BvSet> > movesFromCurrent = moveAutomaton.GetMovesFrom(currentState);
BvSet availableMoves = solver.MkAnd(solver.MkCharConstraint(true, '2'), solver.MkCharConstraint(true, '3'));
List <char> charl;
foreach (Move <BvSet> m in movesFromCurrent)
{
charl = solver.GenerateAllCharacters(m.Condition, false).ToList();
availableMoves = solver.MkOr(m.Condition, availableMoves);
}
List <Transduction> movel = new List <Transduction>();
IEnumerable <char> chare = solver.GenerateAllCharacters(availableMoves, false);
//charl = chare.ToList();
foreach (Char c in chare)
{
movel.Add(TransductionUtil.ToMove(c));
}
return(movel);
}
private string PrintEpsilon(BvSet cond, CharSetSolver slvr)
{
if (cond == null)
{
return "E";
}
else return slvr.PrettyPrint(cond);
}
