tptp_parser

Class SimpleTptpParserOutput.Source.Theory

java.lang.Object

tptp_parser.SimpleTptpParserOutput.Source

tptp_parser.SimpleTptpParserOutput.Source.Theory

All Implemented Interfaces:

TptpParserOutput.Source

Enclosing class:

SimpleTptpParserOutput.Source

public static class SimpleTptpParserOutput.Source.Theory
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
Theory(String theoryName, Iterable<TptpParserOutput.InfoItem> usefulInfo)

Method Summary

Modifier and Type	Method and Description
String	getTheoryName()
Iterable<SimpleTptpParserOutput.InfoItem>	getUsefulInfo()
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

Theory

public Theory(String theoryName,
              Iterable<TptpParserOutput.InfoItem> usefulInfo)

Method Detail

getTheoryName

public String getTheoryName()

getUsefulInfo

public Iterable<SimpleTptpParserOutput.InfoItem> getUsefulInfo()

toString

public String toString()

Overrides:

toString in class SimpleTptpParserOutput.Source

toString

public String toString(int indent)

Overrides:

toString in class SimpleTptpParserOutput.Source