Package jline.solvers.qns.analyzers

Class Solver_qns_analyzer

java.lang.Object

jline.solvers.qns.analyzers.Solver_qns_analyzer

public class Solver_qns_analyzer
extends Object

Analyzer for the QNS solver.

Constructor Summary

Constructors

Constructor	Description
Solver_qns_analyzer(SolverQNS solver)

Method Summary

Modifier and Type	Method	Description
static boolean	isQNSolverAvailable()	Check if the external qnsolver tool is available.
QNSResult	runAnalyzer()	Run the QNS analyzer.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

Solver_qns_analyzer

public Solver_qns_analyzer(SolverQNS solver)

Method Details

isQNSolverAvailable

public static boolean isQNSolverAvailable()

Check if the external qnsolver tool is available.

runAnalyzer

public QNSResult runAnalyzer()

Run the QNS analyzer.