Uses of Class
org.tweetyproject.logics.qbf.parser.QdimacsParser.Answer

Packages that use QdimacsParser.Answer

Package	Description
org.tweetyproject.logics.qbf.parser

Uses of QdimacsParser.Answer in org.tweetyproject.logics.qbf.parser

Methods in org.tweetyproject.logics.qbf.parser that return QdimacsParser.Answer

Modifier and Type	Method	Description
QdimacsParser.Answer	QdimacsParser.parseQDimacsOutput(java.lang.String output)	Parses the answer from a given QDIMACS output file.
static QdimacsParser.Answer	QdimacsParser.Answer.valueOf(java.lang.String name)	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.