Uses of Class
tptp_parser.SimpleTptpParserOutput.Literal

Packages that use SimpleTptpParserOutput.Literal

Package	Description
tptp_parser

Uses of SimpleTptpParserOutput.Literal in tptp_parser

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

Modifier and Type	Method and Description
Iterable<SimpleTptpParserOutput.Literal>	SimpleTptpParserOutput.Clause.getLiterals()