ssa Directory Reference

Directory dependency graph for ssa:

Files
	solver_ssa_getters.h
	The SolverSSA queries that are not the average table: getProb, getProbAggr, getProbSys, getProbSysAggr, and the four samplers sample, sampleAggr, sampleSys, sampleSysAggr.
	solver_ssa_nrm.h
	SolverSSA, the nrm method: a port of solver_ssa_nrm.m and its analyzer solver_ssa_analyzer_nrm.m.
	solver_ssa_nrm_space.h
	SolverSSA, the EXPLICIT STATE SPACE variant of the Next Reaction Method: a port of solver_ssa_nrm_space.m and of the else branch of solver_ssa_analyzer_nrm.m that consumes it, together with solver_ssa_findenabled.m.
	solver_ssa_parallel.h
	SolverSSA, the para / parallel method: a port of solver_ssa_analyzer_parallel.m.
	solver_ssa_serial.h
	SolverSSA, the serial method: a port of solver_ssa_reachability.m, of the run loop of solver_ssa.m, and of solver_ssa_analyzer_serial.m.
	ssa_dispatch.h
	The SolverSSA entry surface: a port of @@SolverSSA/runAnalyzer.m's method whitelist, of solver_ssa_analyzer.m's eligibility gate (isNrmEligible and the per-feature *NrmOK predicates) and of solver_ssa_analyzer_nrm.m's own scheduling validation.
	ssa_event_cache.h
	Port of EventCache.m and of the lookup that State.afterEvent performs against it (afterEvent.m lines 24-44 and its write-back sites).
	ssa_types.h
	Controls, results and the random source of SolverSSA.