Package jline.solvers.ssa.analyzers

Class Solver_ssa_analyzer

java.lang.Object

jline.solvers.ssa.analyzers.Solver_ssa_analyzer

public final class Solver_ssa_analyzer
extends Object

Method Summary

Modifier and Type	Method	Description
static String	nrmEligibleReason(NetworkStruct sn)
static String	nrmMethodRefusal(NetworkStruct sn)	Whether the NRM engine can run this model, as a SENTENCE.
static SSAResult	solver_ssa_analyzer(NetworkStruct snInput, SolverOptions options, SolverSSA solverSSA)

Methods inherited from class java.lang.Object

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

Method Details

solver_ssa_analyzer

public static SSAResult solver_ssa_analyzer(NetworkStruct snInput,
 SolverOptions options,
 SolverSSA solverSSA)

nrmMethodRefusal

public static String nrmMethodRefusal(NetworkStruct sn)

Whether the NRM engine can run this model, as a SENTENCE.

ONE PREDICATE, TWO CALLERS. The dispatch above asks it to decide whether to PREFER the NRM on the default path; SolverSSA .supportsModelMethod asks it to decide whether nrm may be OFFERED at all. Inlined in the dispatch it could answer only the first, so findSolver reported ssa.nrm runnable on every model and an explicit SolverSSA(model,"nrm") then raised from Solver_ssa_analyzer_nrm on the very models this test excludes.

Parameters:

sn - the network structure

Returns:

empty string when the NRM can run it, else the reason it cannot

nrmEligibleReason

public static String nrmEligibleReason(NetworkStruct sn)