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

Class TptpFofConstant

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

public class TptpFofConstant
extends TptpFofStringTerm

A constant consists of an unique identifier name and a sort.

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
TptpFofConstant(String value) Default Constructor with standard sort
TptpFofConstant(String value, TptpFofSort sort) Constructor

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

TptpFofConstant

public TptpFofConstant(String value)

Default Constructor with standard sort

Parameters:

value - the identifier name

TptpFofConstant

public TptpFofConstant(String value,
                       TptpFofSort sort)

Constructor

Parameters:

value - the identifier name

sort - the sort of this constant

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>