Uses of Interface
tptp_parser.TptpParserOutput.InfoItem

Packages that use TptpParserOutput.InfoItem

Package	Description
tptp_parser

Uses of TptpParserOutput.InfoItem in tptp_parser

Classes in tptp_parser that implement TptpParserOutput.InfoItem

Modifier and Type	Class and Description
static class	SimpleTptpParserOutput.InfoItem
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 TptpParserOutput.InfoItem

Modifier and Type	Method and Description
TptpParserOutput.InfoItem	TptpParserOutput.createAssumptionRecordInfoItem(Iterable<String> nameList) A correct implementation must return an object representing an instance of <info item> corresponding to an instance of <assumption record> with a list <name list> as the parameter.
TptpParserOutput.InfoItem	SimpleTptpParserOutput.createAssumptionRecordInfoItem(Iterable<String> nameList) Implements the corresponding spec in TptpParserOutput.
TptpParserOutput.InfoItem	TptpParserOutput.createDescriptionInfoItem(String singleQuoted) A correct implementation must return an object representing an instance of <info item> corresponding to an instance of <description item> with the specified parameter.
TptpParserOutput.InfoItem	SimpleTptpParserOutput.createDescriptionInfoItem(String singleQuoted) Implements the corresponding spec in TptpParserOutput.
TptpParserOutput.InfoItem	TptpParserOutput.createGeneralFunctionInfoItem(TptpParserOutput.GeneralTerm generalFunction) A correct implementation must return an object representing an instance of <info item> corresponding to the specified instance of <general function>.
TptpParserOutput.InfoItem	SimpleTptpParserOutput.createGeneralFunctionInfoItem(TptpParserOutput.GeneralTerm generalFunction) Implements the corresponding spec in TptpParserOutput.
TptpParserOutput.InfoItem	TptpParserOutput.createInferenceRuleInfoItem(String inferenceRule, String inferenceId, Iterable<TptpParserOutput.GeneralTerm> attributes) A correct implementation must return an object representing an instance of <info item> corresponding to an instance of <inference info> with the specified constituents.
TptpParserOutput.InfoItem	SimpleTptpParserOutput.createInferenceRuleInfoItem(String inferenceRule, String inferenceId, Iterable<TptpParserOutput.GeneralTerm> attributes) Implements the corresponding spec in TptpParserOutput.
TptpParserOutput.InfoItem	TptpParserOutput.createInferenceStatusInfoItem(TptpParserOutput.StatusValue statusValue) A correct implementation must return an object representing an instance of <info item> corresponding to an instance of status(<status value>) with the specified parameter.
TptpParserOutput.InfoItem	SimpleTptpParserOutput.createInferenceStatusInfoItem(TptpParserOutput.StatusValue statusValue) Implements the corresponding spec in TptpParserOutput.
TptpParserOutput.InfoItem	TptpParserOutput.createIQuoteInfoItem(String singleQuoted) A correct implementation must return an object representing an instance of <info item> corresponding to an instance of <iquote item> with the specified parameter.
TptpParserOutput.InfoItem	SimpleTptpParserOutput.createIQuoteInfoItem(String singleQuoted) Implements the corresponding spec in TptpParserOutput.
TptpParserOutput.InfoItem	TptpParserOutput.createRefutationInfoItem(TptpParserOutput.Source fileSource) A correct implementation must return an object representing an instance of <info item> corresponding to an instance of <refutation> with the specified parameter.
TptpParserOutput.InfoItem	SimpleTptpParserOutput.createRefutationInfoItem(TptpParserOutput.Source fileSource) Implements the corresponding spec in TptpParserOutput.
TptpParserOutput.InfoItem	TptpParser.info_item(TptpParserOutput out)

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

Modifier and Type	Method and Description
LinkedList<TptpParserOutput.InfoItem>	TptpParser.info_items(TptpParserOutput out)
List<TptpParserOutput.InfoItem>	TptpParser.intro_info(TptpParserOutput out)
List<TptpParserOutput.InfoItem>	TptpParser.optional_info(TptpParserOutput out)
List<TptpParserOutput.InfoItem>	TptpParser.useful_info(TptpParserOutput out)

Method parameters in tptp_parser with type arguments of type TptpParserOutput.InfoItem

Modifier and Type	Method and Description
TptpParserOutput.Annotations	TptpParserOutput.createAnnotations(TptpParserOutput.Source source, Iterable<TptpParserOutput.InfoItem> usefulInfo) A correct implementation must return an object representing an instance of <annotations> composed of source and usefulInfo .
TptpParserOutput.Annotations	SimpleTptpParserOutput.createAnnotations(TptpParserOutput.Source source, Iterable<TptpParserOutput.InfoItem> usefulInfo) Implements the corresponding spec in TptpParserOutput.
TptpParserOutput.Source	TptpParserOutput.createInternalSource(String introType, Iterable<TptpParserOutput.InfoItem> introInfo) A correct implementation must return an object representing an instance of <source> corresponding to an instance of <internal source> with the specified constituents.
TptpParserOutput.Source	SimpleTptpParserOutput.createInternalSource(String introType, Iterable<TptpParserOutput.InfoItem> introInfo) Implements the corresponding spec in TptpParserOutput.
TptpParserOutput.Source	TptpParserOutput.createSourceFromCreator(String creatorName, Iterable<TptpParserOutput.InfoItem> usefulInfo) A correct implementation must return an object representing an instance of <source> corresponding to the specified creator.
TptpParserOutput.Source	SimpleTptpParserOutput.createSourceFromCreator(String creatorName, Iterable<TptpParserOutput.InfoItem> usefulInfo) Implements the corresponding spec in TptpParserOutput.
TptpParserOutput.Source	TptpParserOutput.createSourceFromInferenceRecord(String inferenceRule, Iterable<TptpParserOutput.InfoItem> usefulInfo, Iterable<TptpParserOutput.ParentInfo> parentInfoList) A correct implementation must return an object representing an instance of <source> corresponding to an instance of <inference record> with the specified constituents.
TptpParserOutput.Source	SimpleTptpParserOutput.createSourceFromInferenceRecord(String inferenceRule, Iterable<TptpParserOutput.InfoItem> usefulInfo, Iterable<TptpParserOutput.ParentInfo> parentInfoList) Implements the corresponding spec in TptpParserOutput.
TptpParserOutput.Source	TptpParserOutput.createSourceFromTheory(String theoryName, Iterable<TptpParserOutput.InfoItem> usefulInfo) A correct implementation must return an object representing an instance of <source> corresponding to the specified theory.
TptpParserOutput.Source	SimpleTptpParserOutput.createSourceFromTheory(String theoryName, Iterable<TptpParserOutput.InfoItem> usefulInfo) Implements the corresponding spec in TptpParserOutput.
void	SimpleTptpParserOutput.Annotations.setUsefulInfo(Iterable<TptpParserOutput.InfoItem> newUsefulInfo)

Constructor parameters in tptp_parser with type arguments of type TptpParserOutput.InfoItem

Constructor and Description
Annotations(TptpParserOutput.Source source, Iterable<TptpParserOutput.InfoItem> usefulInfo)
Creator(String creatorName, Iterable<TptpParserOutput.InfoItem> usefulInfo)
Inference(String inferenceRule, Iterable<TptpParserOutput.InfoItem> usefulInfo, Iterable<TptpParserOutput.ParentInfo> parentInfoList)
Internal(String introType, Iterable<TptpParserOutput.InfoItem> introInfo)
Theory(String theoryName, Iterable<TptpParserOutput.InfoItem> usefulInfo)