Uses of Class
tptp_parser.SimpleTptpParserOutput.InfoItem

Packages that use SimpleTptpParserOutput.InfoItem

Package	Description
tptp_parser

Uses of SimpleTptpParserOutput.InfoItem in tptp_parser

Subclasses of SimpleTptpParserOutput.InfoItem in tptp_parser

Modifier and Type	Class and Description
static class	SimpleTptpParserOutput.InfoItem.AssumptionRecord
static class	SimpleTptpParserOutput.InfoItem.Description
static class	SimpleTptpParserOutput.InfoItem.GeneralFunction
static class	SimpleTptpParserOutput.InfoItem.InferenceRule
static class	SimpleTptpParserOutput.InfoItem.InferenceStatus
static class	SimpleTptpParserOutput.InfoItem.IQuote
static class	SimpleTptpParserOutput.InfoItem.Refutation

Methods in tptp_parser that return types with arguments of type SimpleTptpParserOutput.InfoItem

Modifier and Type	Method and Description
Iterable<SimpleTptpParserOutput.InfoItem>	SimpleTptpParserOutput.Source.Internal.getIntroInfo()
Iterable<SimpleTptpParserOutput.InfoItem>	SimpleTptpParserOutput.Source.Inference.getUsefulInfo() May return null.
Iterable<SimpleTptpParserOutput.InfoItem>	SimpleTptpParserOutput.Source.Creator.getUsefulInfo()
Iterable<SimpleTptpParserOutput.InfoItem>	SimpleTptpParserOutput.Source.Theory.getUsefulInfo()
Iterable<SimpleTptpParserOutput.InfoItem>	SimpleTptpParserOutput.Annotations.usefulInfo()

Methods in tptp_parser with parameters of type SimpleTptpParserOutput.InfoItem

Modifier and Type	Method and Description
void	SimpleTptpParserOutput.Annotations.addUsefulInfo(SimpleTptpParserOutput.InfoItem oneUsefulInfo)