Uses of Class
tptp_parser.TptpParserOutput.TptpInput.Kind

Packages that use TptpParserOutput.TptpInput.Kind

Package	Description
tptp_parser

Uses of TptpParserOutput.TptpInput.Kind in tptp_parser

Fields in tptp_parser declared as TptpParserOutput.TptpInput.Kind

Modifier and Type	Field and Description
protected TptpParserOutput.TptpInput.Kind	SimpleTptpParserOutput.TopLevelItem._kind

Methods in tptp_parser that return TptpParserOutput.TptpInput.Kind

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