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

Class TptpFofSort

java.lang.Object

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

public class TptpFofSort
extends Object

This class represents the sort of any

Author:

Bastian Wolf

Field Summary

Fields

Modifier and Type	Field and Description
static TptpFofSort	THING

Constructor Summary

Constructors

Constructor and Description
TptpFofSort() Empty Constructor
TptpFofSort(String name)
TptpFofSort(String name, Set<? extends TptpFofTerm<?>> argument)
TptpFofSort(String name, Set<TptpFofConstant> constants, Set<TptpFofVariable> variables)

Method Summary

Modifier and Type	Method and Description
void	add(TptpFofTerm<?> t)
boolean	equals(Object o)
String	getName()
int	hashCode()
void	setName(String name)
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

THING

public static final TptpFofSort THING

Constructor Detail

TptpFofSort

public TptpFofSort()

Empty Constructor

TptpFofSort

public TptpFofSort(String name)

Parameters:

name -

TptpFofSort

public TptpFofSort(String name,
                   Set<? extends TptpFofTerm<?>> argument)

Parameters:

name -

TptpFofSort

public TptpFofSort(String name,
                   Set<TptpFofConstant> constants,
                   Set<TptpFofVariable> variables)

Method Detail

getName

public String getName()

setName

public void setName(String name)

add

public void add(TptpFofTerm<?> t)

Parameters:

t -

See Also:

Set.add(java.lang.Object)

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object