tptp_parser

Class SimpleTptpParserOutput.InfoItem

java.lang.Object

tptp_parser.SimpleTptpParserOutput.InfoItem

All Implemented Interfaces:

TptpParserOutput.InfoItem

Direct Known Subclasses:

SimpleTptpParserOutput.InfoItem.AssumptionRecord, SimpleTptpParserOutput.InfoItem.Description, SimpleTptpParserOutput.InfoItem.GeneralFunction, SimpleTptpParserOutput.InfoItem.InferenceRule, SimpleTptpParserOutput.InfoItem.InferenceStatus, SimpleTptpParserOutput.InfoItem.IQuote, SimpleTptpParserOutput.InfoItem.Refutation

Enclosing class:

SimpleTptpParserOutput

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

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	SimpleTptpParserOutput.InfoItem.AssumptionRecord
static class	SimpleTptpParserOutput.InfoItem.Description
static class	SimpleTptpParserOutput.InfoItem.GeneralFunction
static class	SimpleTptpParserOutput.InfoItem.InferenceRule
static class	SimpleTptpParserOutput.InfoItem.InferenceStatus
static class	SimpleTptpParserOutput.InfoItem.IQuote
static class	SimpleTptpParserOutput.InfoItem.Kind
static class	SimpleTptpParserOutput.InfoItem.Refutation

Field Summary

Fields

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

Constructor Summary

Constructors

Constructor and Description
InfoItem()

Method Summary

Modifier and Type	Method and Description
SimpleTptpParserOutput.InfoItem.Kind	getKind()
String	toString()
String	toString(int indent)

Methods inherited from class java.lang.Object

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

Field Detail

_kind

protected SimpleTptpParserOutput.InfoItem.Kind _kind

Constructor Detail

InfoItem

public InfoItem()

Method Detail

getKind

public SimpleTptpParserOutput.InfoItem.Kind getKind()

toString

public String toString()

Overrides:

toString in class Object

toString

public String toString(int indent)