net.sf.tweety.action.signature

Class FolActionName

java.lang.Object

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

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

net.sf.tweety.action.signature.FolActionName

All Implemented Interfaces:

Comparable<net.sf.tweety.logics.commons.syntax.TypedStructureAdapter>, ActionName, net.sf.tweety.logics.commons.syntax.interfaces.TypedStructure

public class FolActionName
extends net.sf.tweety.logics.commons.syntax.Predicate
implements ActionName

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 Summary

Constructors

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

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.ActionName

getName

Constructor Detail

FolActionName

public FolActionName(String name,
                     int arity)

Creates a new actionname predicate with the given name and arity.

Parameters:

name -

arity -

FolActionName

public FolActionName(String name,
                     List<net.sf.tweety.logics.commons.syntax.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 Detail

toString

public String toString()

Overrides:

toString in class net.sf.tweety.logics.commons.syntax.TypedStructureAdapter