Skip to content

Commit

Permalink
Adding new .JAR version.
Browse files Browse the repository at this point in the history
  • Loading branch information
ramonpereira committed Jun 17, 2022
1 parent 30ca3de commit 0d79e67
Show file tree
Hide file tree
Showing 4 changed files with 7 additions and 9 deletions.
Binary file renamed paladinus0.2.jar → paladinus1.0.jar
Binary file not shown.
4 changes: 1 addition & 3 deletions src/paladinus/Options.java
Original file line number Diff line number Diff line change
Expand Up @@ -373,7 +373,7 @@ public boolean useMaxHeuristicAndAvgConnectors2SelectBestActions() {
return useMaxHeuristicAndAvgConnectors2SelectBestActions == Bool.ON;
}

@Option(name = "-policytype", aliases = "-policytype", usage = "set policytype", groups = {"NO_GROUP" })
@Option(name = "-policytype", aliases = "-policytype", usage = "set policytype")
String policyType = "STRONG_CYCLIC";

public String getPolicyType() {
Expand Down Expand Up @@ -674,8 +674,6 @@ private void checkGroups() {
for (OptionHandler<?> h : parser.getOptions()) {
for (Set<String> groups : h.option.getGroups()) {
for (String g : groups) {
if(g.equals("POND"))
System.out.println(g);
assert (groupNames.contains(g));
}
}
Expand Down
10 changes: 5 additions & 5 deletions src/paladinus/PaladinusPlanner.java
Original file line number Diff line number Diff line change
Expand Up @@ -232,14 +232,14 @@ public Result runProblem() {
if(Global.options.validatePolicyPRP() || Global.options.validatePolicy()) {
search.validatePolicy();
if(search.getPolicy().isValid())
System.out.println("Result: Strong cyclic policy found.");
else System.out.println("Result: No strong cyclic policy found.");
System.out.println("Result: Policy successfully found.");
else System.out.println("Result: No policy could be found.");
} else {
System.out.println("\nResult: Strong cyclic policy found.");
System.out.println("\nResult: Policy successfully found.");
}
} else if (planFound == Result.DISPROVEN) {
System.out.println("INITIAL IS DISPROVEN!");
System.out.println("\nResult: No strong cyclic policy found.");
System.out.println("\nResult: No policy could be found.");
} else if (planFound == Result.TIMEOUT) {
System.out.println("INITIAL IS UNPROVEN!");
System.out.println("\nResult: No policy found due to time-out.");
Expand Down Expand Up @@ -272,7 +272,7 @@ public Result runProblem() {
}
/* Extract and dump policy. */
if (Global.options.dumpPolicy) {
System.out.println("\n# Strong Cyclic Policy: \n");
System.out.println("\n# Policy: \n");
search.dumpPolicy();
}
}
Expand Down
2 changes: 1 addition & 1 deletion test/paladinus/PaladinusRun.java
Original file line number Diff line number Diff line change
Expand Up @@ -36,7 +36,7 @@ public void run() {
// "-actionSelectionCriterion", "MEAN_H",
// "-actionSelectionCriterion", "MAX_AVG_H_VALUE",

"-debug", "ON",
// "-debug", "ON",

"-timeout", "300",

Expand Down

0 comments on commit 0d79e67

Please sign in to comment.