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

Class TptpFofFunctionalTerm

java.lang.Object

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

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

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

public class TptpFofFunctionalTerm
extends TptpFofStringTerm

Author:

Bastian Wolf

Field Summary

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

name

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

sort, value

Constructor Summary

Constructors

Constructor and Description
TptpFofFunctionalTerm()
TptpFofFunctionalTerm(String name) Standard Constructor with given value
TptpFofFunctionalTerm(TptpFofFunctor functor, List<TptpFofTerm<?>> arguments)

Method Summary

Modifier and Type	Method and Description
String	get()
void	set(String value)

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

getName, getSort, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

TptpFofFunctionalTerm

public TptpFofFunctionalTerm()

TptpFofFunctionalTerm

public TptpFofFunctionalTerm(String name)

Standard Constructor with given value

Parameters:

value -

TptpFofFunctionalTerm

public TptpFofFunctionalTerm(TptpFofFunctor functor,
                             List<TptpFofTerm<?>> arguments)

Method Detail

set

public void set(String value)

Specified by:

set in class TptpFofStringTerm

get

public String get()

Specified by:

get in class TptpFofTerm<String>