Package net.sf.tweety.action.signature

Class FolFluentName

  • All Implemented Interfaces:
    Comparable<net.sf.tweety.logics.commons.syntax.TypedStructureAdapter>, FluentName, net.sf.tweety.logics.commons.syntax.interfaces.TypedStructure
    public class FolFluentName
extends net.sf.tweety.logics.commons.syntax.Predicate
implements FluentName
    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 Summary

      Constructors 
      Constructor Description
      FolFluentName​(String name)
      Creates a new folfluentname predicate with the given name and zero-arity.
      FolFluentName​(String name, int arity)
      Creates a new folfluentname with the given name and arity.
      FolFluentName​(String name, List<net.sf.tweety.logics.commons.syntax.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.

    • Method Summary

      Modifier and Type Method Description
      String toString()  

      • Methods inherited from class net.sf.tweety.logics.commons.syntax.Predicate

        clone, equals, hashCode

      • Methods inherited from class net.sf.tweety.logics.commons.syntax.TypedStructureAdapter

        addArgumentType, compareTo, copyArgumentTypes, getArgumentTypes, getArity, getName, isComplete, isTyped, removeArgumentType, removeArgumentType, setName

    • Constructor Detail

      • 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<net.sf.tweety.logics.commons.syntax.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 Detail

      • toString

        public String toString()
        Overrides:
        toString in class net.sf.tweety.logics.commons.syntax.TypedStructureAdapter