Uses of Class
tptp_parser.SimpleTptpParserOutput.ParentInfo

Packages that use SimpleTptpParserOutput.ParentInfo

Package	Description
tptp_parser

Uses of SimpleTptpParserOutput.ParentInfo in tptp_parser

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

Modifier and Type	Method and Description
Iterable<SimpleTptpParserOutput.ParentInfo>	SimpleTptpParserOutput.Source.Inference.getParentInfoList()

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

Modifier and Type	Method and Description
void	SimpleTptpParserOutput.Source.Inference.setParentInfoList(LinkedList<SimpleTptpParserOutput.ParentInfo> newParentInfoList)