tptp_parser

Class SimpleTptpParserOutput.Term

java.lang.Object

tptp_parser.SimpleTptpParserOutput.Term

All Implemented Interfaces:

TptpParserOutput.Term

Enclosing class:

SimpleTptpParserOutput

public static class SimpleTptpParserOutput.Term
extends Object
implements TptpParserOutput.Term

Constructor Summary

Constructors

Constructor and Description
Term(SimpleTptpParserOutput.Symbol topSymbol, Iterable<TptpParserOutput.Term> arguments)

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object obj)
Iterable<SimpleTptpParserOutput.Term>	getArguments()
int	getNumberOfArguments()
SimpleTptpParserOutput.Symbol	getTopSymbol()
int	hashCode()
SimpleTptpParserOutput.Formula.Atomic	toAtom()
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

Term

public Term(SimpleTptpParserOutput.Symbol topSymbol,
            Iterable<TptpParserOutput.Term> arguments)

Method Detail

getTopSymbol

public SimpleTptpParserOutput.Symbol getTopSymbol()

getNumberOfArguments

public int getNumberOfArguments()

getArguments

public Iterable<SimpleTptpParserOutput.Term> getArguments()

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

Parameters:

obj - must be convertible to Term, can be null

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object

toAtom

public SimpleTptpParserOutput.Formula.Atomic toAtom()