tptp_parser

Class SimpleTptpParserOutput.Source.Name

java.lang.Object

tptp_parser.SimpleTptpParserOutput.Source

tptp_parser.SimpleTptpParserOutput.Source.Name

All Implemented Interfaces:

TptpParserOutput.Source

Enclosing class:

SimpleTptpParserOutput.Source

public static class SimpleTptpParserOutput.Source.Name
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
Name(String text)

Method Summary

Modifier and Type	Method and Description
String	getText()
void	setText(String newText)
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

Name

public Name(String text)

Method Detail

getText

public String getText()

setText

public void setText(String newText)

toString

public String toString()

Overrides:

toString in class SimpleTptpParserOutput.Source

toString

public String toString(int indent)

Overrides:

toString in class SimpleTptpParserOutput.Source