tptp_parser

Class SimpleTptpParserOutput.Source.Internal

java.lang.Object

tptp_parser.SimpleTptpParserOutput.Source

tptp_parser.SimpleTptpParserOutput.Source.Internal

All Implemented Interfaces:

TptpParserOutput.Source

Enclosing class:

SimpleTptpParserOutput.Source

public static class SimpleTptpParserOutput.Source.Internal
extends SimpleTptpParserOutput.Source

Nested Class Summary

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

SimpleTptpParserOutput.Source.Creator, SimpleTptpParserOutput.Source.File, SimpleTptpParserOutput.Source.Inference, SimpleTptpParserOutput.Source.Internal, SimpleTptpParserOutput.Source.Kind, SimpleTptpParserOutput.Source.ListOfSources, SimpleTptpParserOutput.Source.Name, SimpleTptpParserOutput.Source.Theory

Field Summary

Fields inherited from class tptp_parser.SimpleTptpParserOutput.Source

_kind

Constructor Summary

Constructors

Constructor and Description
Internal(String introType, Iterable<TptpParserOutput.InfoItem> introInfo)

Method Summary

Modifier and Type	Method and Description
Iterable<SimpleTptpParserOutput.InfoItem>	getIntroInfo()
String	getIntroType()
String	toString()
String	toString(int indent)

Methods inherited from class tptp_parser.SimpleTptpParserOutput.Source

getKind

Methods inherited from class java.lang.Object

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

Constructor Detail

Internal

public Internal(String introType,
                Iterable<TptpParserOutput.InfoItem> introInfo)

Method Detail

getIntroType

public String getIntroType()

getIntroInfo

public Iterable<SimpleTptpParserOutput.InfoItem> getIntroInfo()

toString

public String toString()

Overrides:

toString in class SimpleTptpParserOutput.Source

toString

public String toString(int indent)

Overrides:

toString in class SimpleTptpParserOutput.Source