tptp_parser

Class SimpleTptpParserOutput.InfoItem.IQuote

java.lang.Object

tptp_parser.SimpleTptpParserOutput.InfoItem

tptp_parser.SimpleTptpParserOutput.InfoItem.IQuote

All Implemented Interfaces:

TptpParserOutput.InfoItem

Enclosing class:

SimpleTptpParserOutput.InfoItem

public static class SimpleTptpParserOutput.InfoItem.IQuote
extends SimpleTptpParserOutput.InfoItem

Nested Class Summary

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

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

Field Summary

Fields inherited from class tptp_parser.SimpleTptpParserOutput.InfoItem

_kind

Constructor Summary

Constructors

Constructor and Description
IQuote(String text)

Method Summary

Modifier and Type	Method and Description
String	getIQuoteText()
String	toString()
String	toString(int indent)

Methods inherited from class tptp_parser.SimpleTptpParserOutput.InfoItem

getKind

Methods inherited from class java.lang.Object

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

Constructor Detail

IQuote

public IQuote(String text)

Method Detail

getIQuoteText

public String getIQuoteText()

toString

public String toString()

Overrides:

toString in class SimpleTptpParserOutput.InfoItem

toString

public String toString(int indent)

Overrides:

toString in class SimpleTptpParserOutput.InfoItem