Uses of Class
tptp_parser.TptpParserOutput.IntroType

Packages that use TptpParserOutput.IntroType

Package	Description
tptp_parser

Uses of TptpParserOutput.IntroType in tptp_parser

Methods in tptp_parser that return TptpParserOutput.IntroType

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