tptp_parser

Class SimpleTptpParserOutput.InfoItem.AssumptionRecord

java.lang.Object

tptp_parser.SimpleTptpParserOutput.InfoItem

tptp_parser.SimpleTptpParserOutput.InfoItem.AssumptionRecord

All Implemented Interfaces:

TptpParserOutput.InfoItem

Enclosing class:

SimpleTptpParserOutput.InfoItem

public static class SimpleTptpParserOutput.InfoItem.AssumptionRecord
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
AssumptionRecord(Iterable<String> nameList)

Method Summary

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

AssumptionRecord

public AssumptionRecord(Iterable<String> nameList)

Method Detail

getNameList

public Iterable<String> getNameList()

toString

public String toString()

Overrides:

toString in class SimpleTptpParserOutput.InfoItem

toString

public String toString(int indent)

Overrides:

toString in class SimpleTptpParserOutput.InfoItem