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

Class TptpFofTerm<T>

java.lang.Object

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

Type Parameters:

T -

Direct Known Subclasses:

TptpFofStringTerm

public abstract class TptpFofTerm<T>
extends Object

Term class. (Useful?)

Author:

Bastian Wolf

Field Summary

Fields

Modifier and Type	Field and Description
protected TptpFofSort	sort The sort of this term
protected T	value The generic value of this term

Constructor Summary

Constructors

Constructor and Description
TptpFofTerm()
TptpFofTerm(T value) Generic constructor with value and fixed standard sort
TptpFofTerm(T value, TptpFofSort sort) Constructor with given value and sort

Method Summary

Modifier and Type	Method and Description
abstract T	get()
abstract TptpFofSort	getSort()
void	set(T value)

Methods inherited from class java.lang.Object

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

Field Detail

value

protected T value

The generic value of this term

sort

protected TptpFofSort sort

The sort of this term

Constructor Detail

TptpFofTerm

public TptpFofTerm()

TptpFofTerm

public TptpFofTerm(T value)

Generic constructor with value and fixed standard sort

Parameters:

value - the value of this term

TptpFofTerm

public TptpFofTerm(T value,
                   TptpFofSort sort)

Constructor with given value and sort

Parameters:

value - the value of this term

sort - the sort of this term

Method Detail

set

public void set(T value)

get

public abstract T get()

getSort

public abstract TptpFofSort getSort()