tptp_parser

Class SimpleTptpParserOutput.ThfFormula.ThfAtomic

java.lang.Object

tptp_parser.SimpleTptpParserOutput.ThfFormula

tptp_parser.SimpleTptpParserOutput.ThfFormula.ThfAtomic

All Implemented Interfaces:

TptpParserOutput.ThfAtomicFormula, TptpParserOutput.ThfFormula

Enclosing class:

SimpleTptpParserOutput.ThfFormula

public static class SimpleTptpParserOutput.ThfFormula.ThfAtomic
extends SimpleTptpParserOutput.ThfFormula
implements TptpParserOutput.ThfAtomicFormula

Nested Class Summary

Nested classes/interfaces inherited from class tptp_parser.SimpleTptpParserOutput.ThfFormula

SimpleTptpParserOutput.ThfFormula.Kind, SimpleTptpParserOutput.ThfFormula.ThfAtomic, SimpleTptpParserOutput.ThfFormula.ThfBinary, SimpleTptpParserOutput.ThfFormula.ThfQuantified, SimpleTptpParserOutput.ThfFormula.ThfUnary

Field Summary

Fields inherited from class tptp_parser.SimpleTptpParserOutput.ThfFormula

_kind

Constructor Summary

Constructors

Constructor and Description
ThfAtomic(String predicate, Iterable<TptpParserOutput.Term> arguments)

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object obj)
Iterable<SimpleTptpParserOutput.Term>	getArguments()
int	getNumberOfArguments()
String	getPredicate()
int	hashCode() should never be called so throw an error.
String	toString()
String	toString(int indent)
String	toString(int indent, TptpParserOutput.BinaryConnective connective)

Methods inherited from class tptp_parser.SimpleTptpParserOutput.ThfFormula

getKind

Methods inherited from class java.lang.Object

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

Constructor Detail

ThfAtomic

public ThfAtomic(String predicate,
                 Iterable<TptpParserOutput.Term> arguments)

Method Detail

getPredicate

public String getPredicate()

getNumberOfArguments

public int getNumberOfArguments()

getArguments

public Iterable<SimpleTptpParserOutput.Term> getArguments()

equals

public boolean equals(Object obj)

Overrides:

equals in class SimpleTptpParserOutput.ThfFormula

Parameters:

obj - must be convertible to Atomic, can be null

hashCode

public int hashCode()

Description copied from class: SimpleTptpParserOutput.ThfFormula

should never be called so throw an error.

Overrides:

hashCode in class SimpleTptpParserOutput.ThfFormula

toString

public String toString()

Overrides:

toString in class SimpleTptpParserOutput.ThfFormula

toString

public String toString(int indent)

Overrides:

toString in class SimpleTptpParserOutput.ThfFormula

toString

public String toString(int indent,
                       TptpParserOutput.BinaryConnective connective)

Overrides:

toString in class SimpleTptpParserOutput.ThfFormula