public void LLConfSubsumesEqualLabelTest()
{
CharSymbol chSymA = new CharSymbol('A');
var llA = new LlConfiguration <CharSymbol>(chSymA);
CharSymbol chSymB = new CharSymbol('A');
var llB = new LlConfiguration <CharSymbol>(chSymB);
bool result = llA.Subsumes(llB);
Assert.AreEqual(true, result);
}
public void LLConfSubsumesFalseTest()
{
CharSymbol chSym = new CharSymbol('A');
var llA = new LlConfiguration <CharSymbol>(chSym);
var llB = new LlConfiguration <CharSymbol>(chSym);
llA = llA.Push(states["B2"]).Push(states["A3"]);
llB = llB.Push(states ["A1"]).Push(states ["A2"]).Push(states ["A3"]);
bool result = llA.Subsumes(llB);
Assert.AreEqual(false, result);
}