tptp_parser

Class SimpleTptpParserOutput.InfoItem.Refutation

java.lang.Object

tptp_parser.SimpleTptpParserOutput.InfoItem

tptp_parser.SimpleTptpParserOutput.InfoItem.Refutation

All Implemented Interfaces:

TptpParserOutput.InfoItem

Enclosing class:

SimpleTptpParserOutput.InfoItem

public static class SimpleTptpParserOutput.InfoItem.Refutation
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
Refutation(TptpParserOutput.Source fileSource)

Method Summary

Modifier and Type	Method and Description
SimpleTptpParserOutput.Source	getFileSource()
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

Refutation

public Refutation(TptpParserOutput.Source fileSource)

Method Detail

getFileSource

public SimpleTptpParserOutput.Source getFileSource()

toString

public String toString()

Overrides:

toString in class SimpleTptpParserOutput.InfoItem

toString

public String toString(int indent)

Overrides:

toString in class SimpleTptpParserOutput.InfoItem