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

Class TptpFofFormulaFormat

java.lang.Object

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

public class TptpFofFormulaFormat
extends Object

This class models fof-entries written to tptp files. General: fof(, , ) Example: fof(animal_martin, axiom, animal(martin)"Constant 'martin' is from Sort 'animal'")

Author:

Bastian Wolf

Constructor Summary

Constructors

Constructor and Description
TptpFofFormulaFormat(String name, TptpFofFormulaRole role, TptpFofFormula formula) Base constructor for entries without initial annotation.
TptpFofFormulaFormat(String name, TptpFofFormulaRole role, TptpFofFormula formula, String annotation) Extended constructor for entries with initial annotation.

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object o)
String	getAnnotation()
TptpFofFormula	getFormula()
String	getName()
TptpFofFormulaRole	getRole()
int	hashCode()
void	setAnnotation(String annotation)
void	setName(String name)
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

TptpFofFormulaFormat

public TptpFofFormulaFormat(String name,
                            TptpFofFormulaRole role,
                            TptpFofFormula formula)

Base constructor for entries without initial annotation.

Parameters:

name - the name of this entry

role - the role of this formula (axiom or conjecture)

formula - the formula itself

TptpFofFormulaFormat

public TptpFofFormulaFormat(String name,
                            TptpFofFormulaRole role,
                            TptpFofFormula formula,
                            String annotation)

Extended constructor for entries with initial annotation.

Parameters:

name - the name of this entry

role - the role of this formula (axiom or conjecture)

formula - the formula itself

annotation - further annotations

Method Detail

getName

public String getName()

getRole

public TptpFofFormulaRole getRole()

getFormula

public TptpFofFormula getFormula()

getAnnotation

public String getAnnotation()

setName

public void setName(String name)

setAnnotation

public void setAnnotation(String annotation)

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