public void MakeIsVertInAcTab(int[] a_tab, bool[] isVertInAcExpected, int AcSizeExpec)
{
bool[] isVertInAc;
int AcSize;
AcSize = AddingBTransition.MakeIsVertInAcTabAndGetAcSize(a_tab, out isVertInAc);
Assert.Equal(AcSizeExpec, AcSize);
Assert.Equal(isVertInAcExpected, isVertInAc);
}
public void MakeAcAutomata(byte[] a_tab, byte[] b_tab, params byte[][] expectedTabs)
{
IOptionalAutomaton a = new OptionalAutomaton(a_tab, b_tab);
bool[] isVertTab;
AddingBTransition.MakeIsVertInAcTabAndGetAcSize(a_tab, out isVertTab);
AddingBTransition addingBTransition = new AddingBTransition(a, isVertTab);
IEnumerable <IOptionalAutomaton> AcAutomata = addingBTransition.GenerateAc();
IEnumerable <byte[]> AcAutomataBTransform =
from automata in AcAutomata
select CopyArray(automata.TransitionFunctionsB);
IsTheSame(expectedTabs, AcAutomataBTransform);
}