Uses of Class
tptp_parser.SimpleTptpParserOutput.Symbol

Packages that use SimpleTptpParserOutput.Symbol

Package	Description
tptp_parser

Uses of SimpleTptpParserOutput.Symbol in tptp_parser

Methods in tptp_parser that return SimpleTptpParserOutput.Symbol

Modifier and Type	Method and Description
SimpleTptpParserOutput.Symbol	SimpleTptpParserOutput.Term.getTopSymbol()

Constructors in tptp_parser with parameters of type SimpleTptpParserOutput.Symbol

Constructor and Description
Term(SimpleTptpParserOutput.Symbol topSymbol, Iterable<TptpParserOutput.Term> arguments)