Uses of Class
net.sf.tweety.logics.qbf.parser.QdimacsParser.Answer

Packages that use QdimacsParser.Answer

Package	Description
net.sf.tweety.logics.qbf.parser

Uses of QdimacsParser.Answer in net.sf.tweety.logics.qbf.parser

Methods in net.sf.tweety.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.