Uses of Class
tptp_parser.SimpleTptpParserOutput.ThfFormula

Packages that use SimpleTptpParserOutput.ThfFormula

Package	Description
tptp_parser

Uses of SimpleTptpParserOutput.ThfFormula in tptp_parser

Subclasses of SimpleTptpParserOutput.ThfFormula in tptp_parser

Modifier and Type	Class and Description
static class	SimpleTptpParserOutput.ThfFormula.ThfAtomic
static class	SimpleTptpParserOutput.ThfFormula.ThfBinary
static class	SimpleTptpParserOutput.ThfFormula.ThfQuantified
static class	SimpleTptpParserOutput.ThfFormula.ThfUnary

Methods in tptp_parser that return SimpleTptpParserOutput.ThfFormula

Modifier and Type	Method and Description
SimpleTptpParserOutput.ThfFormula	SimpleTptpParserOutput.ThfFormula.ThfUnary.getArgument() Returns the formula under the negation.
SimpleTptpParserOutput.ThfFormula	SimpleTptpParserOutput.AnnotatedThfFormula.getFormula()
SimpleTptpParserOutput.ThfFormula	SimpleTptpParserOutput.ThfFormula.ThfBinary.getLhs()
SimpleTptpParserOutput.ThfFormula	SimpleTptpParserOutput.ThfFormula.ThfQuantified.getMatrix()
SimpleTptpParserOutput.ThfFormula	SimpleTptpParserOutput.ThfFormula.ThfBinary.getRhs()
SimpleTptpParserOutput.ThfFormula	SimpleTptpParserOutput.GeneralTerm.getThfFormula() Precondition: isThfFormula().
SimpleTptpParserOutput.ThfFormula	SimpleTptpParserOutput.ThfFormula.ThfQuantified.getVariable()

Constructors in tptp_parser with parameters of type SimpleTptpParserOutput.ThfFormula

Constructor and Description
ThfQuantified(TptpParserOutput.Quantifier quantifier, SimpleTptpParserOutput.ThfFormula variable, TptpParserOutput.ThfFormula matrix)