net.sf.tweety.action.signature

Class FolFluentName

java.lang.Object

net.sf.tweety.logics.commons.syntax.TypedStructureAdapter

net.sf.tweety.logics.commons.syntax.Predicate

net.sf.tweety.action.signature.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 and 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 and 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, setArity, setName

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface net.sf.tweety.action.FluentName

getName

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