tptp_parser

Class SimpleTptpParserOutput.Source.ListOfSources

java.lang.Object

tptp_parser.SimpleTptpParserOutput.Source

tptp_parser.SimpleTptpParserOutput.Source.ListOfSources

All Implemented Interfaces:

TptpParserOutput.Source

Enclosing class:

SimpleTptpParserOutput.Source

public static class SimpleTptpParserOutput.Source.ListOfSources
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
ListOfSources(Iterable<TptpParserOutput.Source> listOfSources)

Method Summary

Modifier and Type	Method and Description
void	addSource(TptpParserOutput.Source oneSource)
Iterable<TptpParserOutput.Source>	getListOfSources()
Iterable<TptpParserOutput.Source>	listOfSources()
void	setListOfSources(Iterable<TptpParserOutput.Source> newListOfSources)
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

ListOfSources

public ListOfSources(Iterable<TptpParserOutput.Source> listOfSources)

Method Detail

listOfSources

public Iterable<TptpParserOutput.Source> listOfSources()

getListOfSources

public Iterable<TptpParserOutput.Source> getListOfSources()

setListOfSources

public void setListOfSources(Iterable<TptpParserOutput.Source> newListOfSources)

addSource

public void addSource(TptpParserOutput.Source oneSource)

toString

public String toString()

Overrides:

toString in class SimpleTptpParserOutput.Source

toString

public String toString(int indent)

Overrides:

toString in class SimpleTptpParserOutput.Source