tptp_parser

Class SimpleTptpParserOutput.Source.File

java.lang.Object

tptp_parser.SimpleTptpParserOutput.Source

tptp_parser.SimpleTptpParserOutput.Source.File

All Implemented Interfaces:

TptpParserOutput.Source

Enclosing class:

SimpleTptpParserOutput.Source

public static class SimpleTptpParserOutput.Source.File
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
File(String fileName, String fileInfo)

Method Summary

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

File

public File(String fileName,
            String fileInfo)

Method Detail

getFileName

public String getFileName()

getFileInfo

public String getFileInfo()

toString

public String toString()

Overrides:

toString in class SimpleTptpParserOutput.Source

toString

public String toString(int indent)

Overrides:

toString in class SimpleTptpParserOutput.Source