tptp_parser

Class SimpleTptpParserOutput.ThfFormula

java.lang.Object

tptp_parser.SimpleTptpParserOutput.ThfFormula

All Implemented Interfaces:

TptpParserOutput.ThfFormula

Direct Known Subclasses:

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

Enclosing class:

SimpleTptpParserOutput

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

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	SimpleTptpParserOutput.ThfFormula.Kind
static class	SimpleTptpParserOutput.ThfFormula.ThfAtomic
static class	SimpleTptpParserOutput.ThfFormula.ThfBinary
static class	SimpleTptpParserOutput.ThfFormula.ThfQuantified
static class	SimpleTptpParserOutput.ThfFormula.ThfUnary

Field Summary

Fields

Modifier and Type	Field and Description
protected SimpleTptpParserOutput.ThfFormula.Kind	_kind

Constructor Summary

Constructors

Constructor and Description
ThfFormula()

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object obj)
SimpleTptpParserOutput.ThfFormula.Kind	getKind()
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 java.lang.Object

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

Field Detail

_kind

protected SimpleTptpParserOutput.ThfFormula.Kind _kind

Constructor Detail

ThfFormula

public ThfFormula()

Method Detail

getKind

public SimpleTptpParserOutput.ThfFormula.Kind getKind()

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

Parameters:

obj - must be convertible to Formula, can be null

hashCode

public int hashCode()

should never be called so throw an error.

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object

toString

public String toString(int indent)

toString

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