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); }