Uses of Enum 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

Subclasses with type arguments of type QdimacsParser.Answer in org.tweetyproject.logics.qbf.parser

Modifier and Type	Class	Description
static enum	QdimacsParser.Answer	Possible answers that solvers can find for a given QDIMACS problem.

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

Modifier and Type	Method	Description
QdimacsParser.Answer	QdimacsParser.parseQDimacsOutput(String output)	Parses the answer from a given QDIMACS output file.
static QdimacsParser.Answer	QdimacsParser.Answer.valueOf(String name)	Returns the enum constant of this class with the specified name.
static QdimacsParser.Answer[]	QdimacsParser.Answer.values()	Returns an array containing the constants of this enum class, in the order they are declared.