private int test(PumpingLemma.SymbolicString s)
{
Console.WriteLine("" + s + " splits into: ");
var splits = s.Splits();
foreach (var split in splits)
{
Console.WriteLine("\t" + split.ToString());
}
return(splits.Count());
}
private XElement test(PumpingLemma.SymbolicString s)
{
Console.WriteLine("" + s + " splits into: ");
Assert.AreEqual(1, s.GetIntegerVariables().Count);
var variable = s.GetIntegerVariables().First();
var additionalConstraint = PumpingLemma.ComparisonExpression.GreaterThanOrEqual(
PumpingLemma.LinearIntegerExpression.SingleTerm(1, variable),
PumpingLemma.LinearIntegerExpression.Constant(0));
var ans = s.SplitDisplayXML(variable, additionalConstraint);
Console.WriteLine(ans.ToString());
return(ans);
}
