net.sf.tweety.logics.fol.syntax.tptp.fof

Class TptpFofFunctor

java.lang.Object

net.sf.tweety.logics.fol.syntax.tptp.fof.TptpFofFunctor

public class TptpFofFunctor
extends Object

::=

Author:

Bastian Wolf

Constructor Summary

Constructors

Constructor and Description
TptpFofFunctor()
TptpFofFunctor(String name)

Method Summary

Modifier and Type	Method and Description
String	getName()
void	setName(String name)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

TptpFofFunctor

public TptpFofFunctor()

TptpFofFunctor

public TptpFofFunctor(String name)

Method Detail

getName

public String getName()

Returns:

the name

setName

public void setName(String name)

Parameters:

name - the name to set