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

Class TptpFofPredicate

java.lang.Object

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

public class TptpFofPredicate
extends Object

Author:

Bastian Wolf

Constructor Summary

Constructors

Constructor and Description
TptpFofPredicate()
TptpFofPredicate(String name)
TptpFofPredicate(String name, List<TptpFofTerm<?>> arguments)

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object o)
List<TptpFofTerm<?>>	getArguments()
int	getArity()
String	getName()
int	hashCode()
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

TptpFofPredicate

public TptpFofPredicate()

TptpFofPredicate

public TptpFofPredicate(String name)

TptpFofPredicate

public TptpFofPredicate(String name,
                        List<TptpFofTerm<?>> arguments)

Method Detail

getName

public String getName()

getArguments

public List<TptpFofTerm<?>> getArguments()

getArity

public int getArity()

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