Class FolFluentName

  • All Implemented Interfaces:
    java.lang.Comparable<TypedStructureAdapter>, TypedStructure

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

      • FolFluentName

        public FolFluentName​(java.lang.String name,
                             int arity)
        Creates a new folfluentname with the given name and arity.
        Parameters:
        name - the name of this fluent name
        arity - the number of arguments of this fluent name
      • FolFluentName

        public FolFluentName​(java.lang.String name,
                             java.util.List<Sort> arguments)
        Creates a new fluentname 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 - the name of this fluent name
        arguments - a list of arguments
      • FolFluentName

        public FolFluentName​(java.lang.String name)
        Creates a new folfluentname predicate with the given name and zero-arity.
        Parameters:
        name - the name of this fluent name