tptp_parser

Class SimpleTptpParserOutput.InfoItem.Description

java.lang.Object

tptp_parser.SimpleTptpParserOutput.InfoItem

tptp_parser.SimpleTptpParserOutput.InfoItem.Description

All Implemented Interfaces:

TptpParserOutput.InfoItem

Enclosing class:

SimpleTptpParserOutput.InfoItem

public static class SimpleTptpParserOutput.InfoItem.Description
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
Description(String description)

Method Summary

Modifier and Type	Method and Description
String	getDescription()
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

Description

public Description(String description)

Method Detail

getDescription

public String getDescription()

toString

public String toString()

Overrides:

toString in class SimpleTptpParserOutput.InfoItem

toString

public String toString(int indent)

Overrides:

toString in class SimpleTptpParserOutput.InfoItem