The empty And() formula resulted in the TrueFormula (true), which is not part of PDDL and, therefore, not recognized by planners. The same happened for the empty Or() formula.
Proposed changes
In this PR, we fix such behavior and simplify the code structure by removing the TrueFormula() and the FalseFormula(). We also update the rest of the code.
Types of changes
What types of changes does your code introduce?
Put an x in the boxes that apply
[x] Bugfix (non-breaking change which fixes an issue)
[x] New feature (non-breaking change which adds functionality)
[x] Breaking change (fix or feature that would cause existing functionality to not work as expected)
Fixes
The empty And() formula resulted in the TrueFormula
(true)
, which is not part of PDDL and, therefore, not recognized by planners. The same happened for the empty Or() formula.Proposed changes
In this PR, we fix such behavior and simplify the code structure by removing the TrueFormula() and the FalseFormula(). We also update the rest of the code.
Types of changes
What types of changes does your code introduce? Put an
x
in the boxes that applyChecklist
Put an
x
in the boxes that apply.