Ejemplo n.º 1
0
 static void TestBattleship(string sBenchmarkPath, int iSize)
 {
     SDRPlanner.AddAllKnownToGiven = true;
     Battleship bs = new Battleship(iSize * 10);
     string sBenchmark = bs.Name;
     bs.WriteDomain(sBenchmarkPath + sBenchmark);
     bs.WriteProblem(sBenchmarkPath + sBenchmark);
     SDRPlanner.TagsCount = 2;
     SDRPlanner.AddTagRefutationToGoal = false;
     //BeliefState.AddAllKnownToGiven = true;
     //TestCLG(sBenchmarkPath + sBenchmark + "\\", 2);
     TestBenchmark(sBenchmarkPath, sBenchmark, 25, true, false);
 }