Uses of Class
tptp_parser.SimpleTptpParserOutput.Formula.Atomic

Packages that use SimpleTptpParserOutput.Formula.Atomic

Package	Description
tptp_parser
TPTPWorld

Uses of SimpleTptpParserOutput.Formula.Atomic in tptp_parser

Methods in tptp_parser that return SimpleTptpParserOutput.Formula.Atomic

Modifier and Type	Method and Description
SimpleTptpParserOutput.Formula.Atomic	SimpleTptpParserOutput.Literal.getAtom()
SimpleTptpParserOutput.Formula.Atomic	SimpleTptpParserOutput.Term.toAtom()

Uses of SimpleTptpParserOutput.Formula.Atomic in TPTPWorld

Methods in TPTPWorld with parameters of type SimpleTptpParserOutput.Formula.Atomic

Modifier and Type	Method and Description
static ArrayList<String>	TPTPParser.identifyTermVariables(SimpleTptpParserOutput.Formula.Atomic atom, ArrayList<String> variables)