Package jline.solvers.mam.analyzers

Class Solver_mam_ispn.Info

java.lang.Object

jline.solvers.mam.analyzers.Solver_mam_ispn.Info

Enclosing class:

Solver_mam_ispn

public static class Solver_mam_ispn.Info
extends Object

The flattened net and the iSPN result of the last call, for inspection.

Field Summary

Fields

Modifier and Type	Field	Description
boolean[]	imm
double[][]	inh
List<String>	levelname
double[]	m0
int	p0
double[][]	post
double[][]	pre
double[]	rate
Spn_ispn.Result	res
double[]	srv
List<String>	transitionname

Constructor Summary

Constructors

Constructor	Description
Info()

Method Summary

Methods inherited from class java.lang.Object

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

Field Details

res

public Spn_ispn.Result res

pre

public double[][] pre

post

public double[][] post

inh

public double[][] inh

rate

public double[] rate

srv

public double[] srv

m0

public double[] m0

imm

public boolean[] imm

p0

public int p0

levelname

public List<String> levelname

transitionname

public List<String> transitionname

Constructor Details

Info

public Info()