Uses of Class
tptp_parser.TptpParserOutput.StatusValue

Packages that use TptpParserOutput.StatusValue

Package	Description
tptp_parser

Uses of TptpParserOutput.StatusValue in tptp_parser

Methods in tptp_parser that return TptpParserOutput.StatusValue

Modifier and Type	Method and Description
TptpParserOutput.StatusValue	SimpleTptpParserOutput.InfoItem.InferenceStatus.getStatusValue()
TptpParserOutput.StatusValue	TptpParser.status_value(TptpParserOutput out)
static TptpParserOutput.StatusValue	TptpParserOutput.StatusValue.valueOf(String name) Returns the enum constant of this type with the specified name.
static TptpParserOutput.StatusValue[]	TptpParserOutput.StatusValue.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.StatusValue

Modifier and Type	Method and Description
TptpParserOutput.InfoItem	TptpParserOutput.createInferenceStatusInfoItem(TptpParserOutput.StatusValue statusValue) A correct implementation must return an object representing an instance of <info item> corresponding to an instance of status(<status value>) with the specified parameter.
TptpParserOutput.InfoItem	SimpleTptpParserOutput.createInferenceStatusInfoItem(TptpParserOutput.StatusValue statusValue) Implements the corresponding spec in TptpParserOutput.

Constructors in tptp_parser with parameters of type TptpParserOutput.StatusValue

Constructor and Description
InferenceStatus(TptpParserOutput.StatusValue statusValue)