Uses of Enum
org.tweetyproject.logics.qbf.parser.QdimacsParser.Answer
-
Uses of QdimacsParser.Answer in org.tweetyproject.logics.qbf.parser
Modifier and TypeMethodDescriptionQdimacsParser.parseQDimacsOutput
(String output) Parses the answer from a given QDIMACS output file.static QdimacsParser.Answer
Returns the enum constant of this type with the specified name.static QdimacsParser.Answer[]
QdimacsParser.Answer.values()
Returns an array containing the constants of this enum type, in the order they are declared.