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

Class TptpFofVariable

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

public class TptpFofVariable
extends TptpFofStringTerm

Variables are used in quantified formulas Each Variable must begin with an upper case letter followed by any amount (>=0) of lower case letters

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

Constructor Summary

Constructors

Constructor and Description
TptpFofVariable(String value) construct new variable with given (valid) value

Method Summary

Modifier and Type	Method and Description
String	get()
String	getvalue()
void	set(String value)
String	toString() Simply just returns the value.

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

getName, getSort

Methods inherited from class java.lang.Object

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

Constructor Detail

TptpFofVariable

public TptpFofVariable(String value)

construct new variable with given (valid) value

Parameters:

value - the value given

Method Detail

getvalue

public String getvalue()

toString

public String toString()

Simply just returns the value.

Overrides:

toString in class TptpFofStringTerm

set

public void set(String value)

Specified by:

set in class TptpFofStringTerm

get

public String get()

Specified by:

get in class TptpFofTerm<String>