Uses of Enum
org.tweetyproject.logics.qbf.parser.QdimacsParser.Answer
Packages that use QdimacsParser.Answer
-
Uses of QdimacsParser.Answer in org.tweetyproject.logics.qbf.parser
Methods in org.tweetyproject.logics.qbf.parser that return QdimacsParser.AnswerModifier and TypeMethodDescriptionQdimacsParser.parseQDimacsOutput(String output) Parses the answer from a given QDIMACS output file.static QdimacsParser.AnswerReturns 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.