Class FolActionName

All Implemented Interfaces:
Comparable<TypedStructureAdapter>, TypedStructure

public class FolActionName extends Predicate
This class represents an action name. It is implemented as a fol predicate to allow for easy grounding of action descriptions.
Author:
Sebastian Homann
  • Constructor Details

    • FolActionName

      public FolActionName(String name, int arity)
      Creates a new actionname predicate with the given name and arity.
      Parameters:
      name - the name of the action
      arity - the arity of the action
    • FolActionName

      public FolActionName(String name, List<Sort> arguments)
      Creates a new actionname predicate with the given name and a list of argument sorts, whose element count equals the arity of this predicate. These arguments are used for grounding.
      Parameters:
      name - a name
      arguments - a list of arguments (either variables or constants)
    • FolActionName

      public FolActionName(String name)
      Creates a new action name predicate with the given name and zero-arity.
      Parameters:
      name - a name
  • Method Details