Uses of Class
tptp_parser.SimpleTptpParserOutput.Source

Packages that use SimpleTptpParserOutput.Source

Package	Description
tptp_parser
TPTPWorld

Uses of SimpleTptpParserOutput.Source in tptp_parser

Subclasses of SimpleTptpParserOutput.Source in tptp_parser

Modifier and Type	Class and Description
static class	SimpleTptpParserOutput.Source.Creator
static class	SimpleTptpParserOutput.Source.File
static class	SimpleTptpParserOutput.Source.Inference
static class	SimpleTptpParserOutput.Source.Internal
static class	SimpleTptpParserOutput.Source.ListOfSources
static class	SimpleTptpParserOutput.Source.Name
static class	SimpleTptpParserOutput.Source.Theory

Methods in tptp_parser that return SimpleTptpParserOutput.Source

Modifier and Type	Method and Description
SimpleTptpParserOutput.Source	SimpleTptpParserOutput.InfoItem.Refutation.getFileSource()
SimpleTptpParserOutput.Source	SimpleTptpParserOutput.Annotations.getSource()
SimpleTptpParserOutput.Source	SimpleTptpParserOutput.ParentInfo.getSource()

Methods in tptp_parser with parameters of type SimpleTptpParserOutput.Source

Modifier and Type	Method and Description
void	SimpleTptpParserOutput.Annotations.addSource(SimpleTptpParserOutput.Source newSource)
void	SimpleTptpParserOutput.Annotations.setSource(SimpleTptpParserOutput.Source newSource)
void	SimpleTptpParserOutput.ParentInfo.setSource(SimpleTptpParserOutput.Source newSource)

Uses of SimpleTptpParserOutput.Source in TPTPWorld

Fields in TPTPWorld declared as SimpleTptpParserOutput.Source

Modifier and Type	Field and Description
SimpleTptpParserOutput.Source	TPTPFormula.source

Methods in TPTPWorld with parameters of type SimpleTptpParserOutput.Source

Modifier and Type	Method and Description
static void	TPTPParser.gatherParents(SimpleTptpParserOutput.Source source, Vector<String> parents)