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

Class TptpFofStringTerm

java.lang.Object

net.sf.tweety.logics.fol.syntax.tptp.fof.TptpFofTerm<String>

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

Direct Known Subclasses:

TptpFofConstant, TptpFofFunctionalTerm, TptpFofVariable

public abstract class TptpFofStringTerm
extends TptpFofTerm<String>

This class implements the generic Fof-Term-class with Strings

Author:

Bastian Wolf

Field Summary

Fields

Modifier and Type	Field and Description
protected String	name The name of this term

Fields inherited from class net.sf.tweety.logics.fol.syntax.tptp.fof.TptpFofTerm

sort, value

Constructor Summary

Constructors

Constructor and Description
TptpFofStringTerm() Generic empty constructor
TptpFofStringTerm(String name) Constructor with given name
TptpFofStringTerm(String name, TptpFofSort sort)

Method Summary

Modifier and Type	Method and Description
String	getName()
TptpFofSort	getSort()
abstract void	set(String name)
String	toString()

Methods inherited from class net.sf.tweety.logics.fol.syntax.tptp.fof.TptpFofTerm

get

Methods inherited from class java.lang.Object

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

Field Detail

name

protected String name

The name of this term

Constructor Detail

TptpFofStringTerm

public TptpFofStringTerm()

Generic empty constructor

TptpFofStringTerm

public TptpFofStringTerm(String name)

Constructor with given name

Parameters:

name -

TptpFofStringTerm

public TptpFofStringTerm(String name,
                         TptpFofSort sort)

Parameters:

name -

sort -

Method Detail

set

public abstract void set(String name)

Overrides:

set in class TptpFofTerm<String>

getSort

public TptpFofSort getSort()

Specified by:

getSort in class TptpFofTerm<String>

getName

public String getName()

toString

public String toString()

Overrides:

toString in class Object