Uses of Class
tptp_parser.SimpleTptpParserOutput.Source.Kind

Packages that use SimpleTptpParserOutput.Source.Kind

Package	Description
tptp_parser

Uses of SimpleTptpParserOutput.Source.Kind in tptp_parser

Fields in tptp_parser declared as SimpleTptpParserOutput.Source.Kind

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

Methods in tptp_parser that return SimpleTptpParserOutput.Source.Kind

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