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