public void NextMAt0()
{
AbstractVFState state = Create(5, 10);
Assert.AreEqual(0, state.NextM(0, -1));
Assert.AreEqual(1, state.NextM(0, 0));
Assert.AreEqual(2, state.NextM(0, 1));
Assert.AreEqual(3, state.NextM(0, 2));
}
public void NextMNonTerminal()
{
AbstractVFState state = Create(5, 10);
state.size = 2;
state.m2[0] = 1;
state.m2[1] = 0;
Assert.AreEqual(2, state.NextM(0, -1));
}
public void NextMTerminal()
{
AbstractVFState state = Create(5, 10);
state.size = 2;
state.m2[0] = 1;
state.m2[1] = 0;
state.t1[1] = 1; // query vertex is in terminal set
state.t2[4] = 1; // <- first terminal (not kept returned for now - allow disconnected)
Assert.AreEqual(4, state.NextM(1, -1));
}