This constructor takes a NamedSymbol representing the name of the
ActionType and three Sets of propositional Atoms representing the
preconditions, negative effects (also known as the delete list), and
positive effects of this ActionType.
This constructor takes a NamedSymbol representing the name of the
ActionType and three Arrays of propositional Atoms representing the
preconditions, negative effects (also known as the delete list), and
positive effects of this ActionType.
This constructor takes a NamedSymbol representing the name of the
ActionType, a List of Variables representing the parameters of the
ActionType, and four Lists of propositional Atoms representing the
negative and positive preconditions, the negative effects (also known as
the delete list), and the positive effects of this ActionType.
This constructor takes a NamedSymbol representing the name of the
ActionType, a List of Variables representing the parameters of the
ActionType, and two Lists of propositional Literals representing the
preconditions and effects of this ActionType.