tptp_parser

Class SimpleTptpParserOutput.Formula

java.lang.Object

tptp_parser.SimpleTptpParserOutput.Formula

All Implemented Interfaces:

TptpParserOutput.FofFormula

Direct Known Subclasses:

SimpleTptpParserOutput.Formula.Atomic, SimpleTptpParserOutput.Formula.Binary, SimpleTptpParserOutput.Formula.Negation, SimpleTptpParserOutput.Formula.Quantified

Enclosing class:

SimpleTptpParserOutput

public static class SimpleTptpParserOutput.Formula
extends Object
implements TptpParserOutput.FofFormula

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	SimpleTptpParserOutput.Formula.Atomic
static class	SimpleTptpParserOutput.Formula.Binary
static class	SimpleTptpParserOutput.Formula.Kind
static class	SimpleTptpParserOutput.Formula.Negation
static class	SimpleTptpParserOutput.Formula.Quantified

Field Summary

Fields

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

Constructor Summary

Constructors

Constructor and Description
Formula()

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object obj)
SimpleTptpParserOutput.Formula.Kind	getKind()
int	hashCode() should never be called so throw an error.
String	toString()
String	toString(int indent)

Methods inherited from class java.lang.Object

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

Field Detail

_kind

protected SimpleTptpParserOutput.Formula.Kind _kind

Constructor Detail

Formula

public Formula()

Method Detail

getKind

public SimpleTptpParserOutput.Formula.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)