Class FolFluentName

All Implemented Interfaces:
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 Details

    • FolFluentName

      public FolFluentName(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(String name, 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(String name)
      Creates a new folfluentname predicate with the given name and zero-arity.
      Parameters:
      name - the name of this fluent name
  • Method Details