Title Support compilations that require auxiliary actions
Priority wish Status unread
Superseder Nosy List gabi, jendrik, malte
Assigned To Keywords
Optional summary

Created on 2024-02-09.14:23:48 by gabi, last changed by gabi.

msg11584 (view) Author: gabi Date: 2024-02-09.14:23:48
To support negative literals in conjunctive goals, we enforce that such atoms are encoded with binary FDR variables (issue1127). Alternatively, we could also compile away goals with an artificial goal action.

This would require to support compilations with auxiliary actions, that get introduced by the translator but need to be removed from the plans by the search component.
Date User Action Args
2024-02-09 14:23:48gabicreate