Uses of Class
tptp_parser.TptpParserOutput.Quantifier

Packages that use TptpParserOutput.Quantifier

Package	Description
tptp_parser

Uses of TptpParserOutput.Quantifier in tptp_parser

Methods in tptp_parser that return TptpParserOutput.Quantifier

Modifier and Type	Method and Description
TptpParserOutput.Quantifier	SimpleTptpParserOutput.ThfFormula.ThfQuantified.getQuantifier()
TptpParserOutput.Quantifier	SimpleTptpParserOutput.Formula.Quantified.getQuantifier()
TptpParserOutput.Quantifier	TptpParser.quantifier()
TptpParserOutput.Quantifier	TptpParser.thf_quantifier()
static TptpParserOutput.Quantifier	TptpParserOutput.Quantifier.valueOf(String name) Returns the enum constant of this type with the specified name.
static TptpParserOutput.Quantifier[]	TptpParserOutput.Quantifier.values() Returns an array containing the constants of this enum type, in the order they are declared.

Methods in tptp_parser with parameters of type TptpParserOutput.Quantifier

Modifier and Type	Method and Description
TptpParserOutput.FofFormula	TptpParserOutput.createQuantifiedFormula(TptpParserOutput.Quantifier quantifier, Iterable<String> variableList, TptpParserOutput.FofFormula formula) A correct implementation must return an object representing the formula obtained by applying the quantifier quantifier to formula .
TptpParserOutput.FofFormula	SimpleTptpParserOutput.createQuantifiedFormula(TptpParserOutput.Quantifier quantifier, Iterable<String> variableList, TptpParserOutput.FofFormula formula) Implements the corresponding spec in TptpParserOutput.
TptpParserOutput.ThfFormula	TptpParserOutput.createThfQuantifiedFormula(TptpParserOutput.Quantifier quantifier, Iterable<TptpParserOutput.ThfFormula> variableList, TptpParserOutput.ThfFormula formula) A correct implementation must return an object representing the formula obtained by applying the quantifier quantifier to formula .
TptpParserOutput.ThfFormula	SimpleTptpParserOutput.createThfQuantifiedFormula(TptpParserOutput.Quantifier quantifier, Iterable<TptpParserOutput.ThfFormula> variableList, TptpParserOutput.ThfFormula formula) Implements the corresponding spec in TptpParserOutput.

Constructors in tptp_parser with parameters of type TptpParserOutput.Quantifier

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