Uses of Class
tptp_parser.SimpleTptpParserOutput.ThfFormula.Kind

Packages that use SimpleTptpParserOutput.ThfFormula.Kind

Package	Description
tptp_parser

Uses of SimpleTptpParserOutput.ThfFormula.Kind in tptp_parser

Fields in tptp_parser declared as SimpleTptpParserOutput.ThfFormula.Kind

Modifier and Type	Field and Description
protected SimpleTptpParserOutput.ThfFormula.Kind	SimpleTptpParserOutput.ThfFormula._kind

Methods in tptp_parser that return SimpleTptpParserOutput.ThfFormula.Kind

Modifier and Type	Method and Description
SimpleTptpParserOutput.ThfFormula.Kind	SimpleTptpParserOutput.ThfFormula.getKind()
static SimpleTptpParserOutput.ThfFormula.Kind	SimpleTptpParserOutput.ThfFormula.Kind.valueOf(String name) Returns the enum constant of this type with the specified name.
static SimpleTptpParserOutput.ThfFormula.Kind[]	SimpleTptpParserOutput.ThfFormula.Kind.values() Returns an array containing the constants of this enum type, in the order they are declared.