TPTPWorld

Class TPTPFormula

java.lang.Object

TPTPWorld.TPTPFormula

public class TPTPFormula
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
SimpleTptpParserOutput.Annotations	annotations
ArrayList<TPTPFormula>	child
int	id
SimpleTptpParserOutput.TopLevelItem	item
ArrayList<TPTPFormula>	parent
SimpleTptpParserOutput.Source	source
String	type

Constructor Summary

Constructors

Constructor and Description
TPTPFormula(SimpleTptpParserOutput.TopLevelItem item, int id)

Method Summary

Modifier and Type	Method and Description
void	addParent(TPTPFormula that)
String	fofify()
String	getRole()

Methods inherited from class java.lang.Object

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

Field Detail

id

public int id

type

public String type

item

public SimpleTptpParserOutput.TopLevelItem item

annotations

public SimpleTptpParserOutput.Annotations annotations

source

public SimpleTptpParserOutput.Source source

parent

public ArrayList<TPTPFormula> parent

child

public ArrayList<TPTPFormula> child

Constructor Detail

TPTPFormula

public TPTPFormula(SimpleTptpParserOutput.TopLevelItem item,
                   int id)

Method Detail

addParent

public void addParent(TPTPFormula that)

fofify

public String fofify()

getRole

public String getRole()