Uses of Interface
tptp_parser.TptpParserOutput.ParentInfo

Packages that use TptpParserOutput.ParentInfo

Package	Description
tptp_parser

Uses of TptpParserOutput.ParentInfo in tptp_parser

Classes in tptp_parser that implement TptpParserOutput.ParentInfo

Modifier and Type	Class and Description
static class	SimpleTptpParserOutput.ParentInfo

Methods in tptp_parser that return TptpParserOutput.ParentInfo

Modifier and Type	Method and Description
TptpParserOutput.ParentInfo	TptpParserOutput.createParentInfo(TptpParserOutput.Source source, TptpParserOutput.GeneralTerm parentDetails) A correct implementation must return an object representing the parent info item with the specified parameters.
TptpParserOutput.ParentInfo	SimpleTptpParserOutput.createParentInfo(TptpParserOutput.Source source, TptpParserOutput.GeneralTerm parentDetails) Implements the corresponding spec in TptpParserOutput.
TptpParserOutput.ParentInfo	TptpParser.parent_info(TptpParserOutput out)

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

Modifier and Type	Method and Description
LinkedList<TptpParserOutput.ParentInfo>	TptpParser.parent_list(TptpParserOutput out)

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

Modifier and Type	Method and Description
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.

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

Constructor and Description
Inference(String inferenceRule, Iterable<TptpParserOutput.InfoItem> usefulInfo, Iterable<TptpParserOutput.ParentInfo> parentInfoList)