Package jline.solvers.wrappers.qns.analyzers

Class Solver_qns_analyzer

java.lang.Object

jline.solvers.wrappers.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	hasNativeQNSolver()	Check if a native qnsolver binary is available on the PATH.
static boolean	isQNSolverAvailable()	Check if qnsolver can be run: a native binary on the PATH.
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

hasNativeQNSolver

public static boolean hasNativeQNSolver()

Check if a native qnsolver binary is available on the PATH.

isQNSolverAvailable

public static boolean isQNSolverAvailable()

Check if qnsolver can be run: a native binary on the PATH. LINE never runs it from a container image, since qnsolver ships with LQNS and that licence forbids redistribution.

runAnalyzer

public QNSResult runAnalyzer()

Run the QNS analyzer.