public void EmptyGraphTest()
{
var FA = FiniteAutomata.ConvertGraphToAutomata(graph.Edges.ToList(), graph.Vertices.ToList());
Assert.False(FA.DoAllTransitions("12345"));
FA.SetString("12345");
FA.SingleStep();
//Assert.False(FA.CanDoStep()); //TODO: Debug CanDoStep on an empty FA
Assert.AreEqual(ResultEnum.NotRunned, FA.StepResult);
}
public void SimpleAutomatonFastRunTest()
{
var state1 = new NodeViewModel()
{
ID = 1, IsInitial = true
};
var state2 = new NodeViewModel()
{
ID = 2, IsFinal = true
};
graph.AddVertex(state1);
graph.AddVertex(state2);
graph.AddEdge(new EdgeViewModel(state1, state2)
{
TransitionTokensString = "1"
});
var FA = FiniteAutomata.ConvertGraphToAutomata(graph.Edges.ToList(), graph.Vertices.ToList());
Assert.True(FA.DoAllTransitions("1"));
Assert.False(FA.DoAllTransitions("0"));
}