Removes static preconditions from precondition from the translator

kris701 · May 11, 2024 · 9d46d4d · 9d46d4d
1 parent 0878afc
commit 9d46d4d
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/FlashPlanner.CLI/Program.cs b/FlashPlanner.CLI/Program.cs
@@ -36,7 +36,7 @@ public static void Run(Options opts)
             var pddlDecl = new PDDLDecl(domain, problem);
 
             Console.WriteLine("Translating...");
-            var translator = new PDDLToSASTranslator();
+            var translator = new PDDLToSASTranslator(true);
             var sasDecl = translator.Translate(pddlDecl);
 
             Console.WriteLine("Building search engine...");

diff --git a/FlashPlanner.CLI/Properties/launchSettings.json b/FlashPlanner.CLI/Properties/launchSettings.json
@@ -2,7 +2,7 @@
   "profiles": {
     "FlashPlanner.CLI": {
       "commandName": "Project",
-      "commandLineArgs": "--domain ../../../../Dependencies/downward-benchmarks/rovers/domain.pddl --problem ../../../../Dependencies/downward-benchmarks/rovers/p10.pddl --search \"greedy(hFF())\""
+      "commandLineArgs": "--domain ../../../../Dependencies/downward-benchmarks/logistics00/domain.pddl --problem ../../../../Dependencies/downward-benchmarks/logistics00/probLOGISTICS-14-1.pddl --search \"greedy(hFF())\""
     }
   }
 }
diff --git a/FlashPlanner.Tests/BasePlannerTests.cs b/FlashPlanner.Tests/BasePlannerTests.cs
@@ -34,7 +34,7 @@ internal static SASDecl GetSASDecl(string domain, string problem)
                 parser.ParseAs<ProblemDecl>(new FileInfo(problem))
                 );
 
-            var translator = new PDDLToSASTranslator();
+            var translator = new PDDLToSASTranslator(true);
             var decl = translator.Translate(pddlDecl);
 
             _declCache.Add(domain + problem, decl);

diff --git a/FlashPlanner/FlashPlanner.csproj b/FlashPlanner/FlashPlanner.csproj
@@ -15,7 +15,7 @@
 
 	<PropertyGroup>
 		<PackageLicenseFile>LICENSE.txt</PackageLicenseFile>
-		<Version>1.0.8</Version>
+		<Version>1.0.9</Version>
 	</PropertyGroup>
 
 	<PropertyGroup>