Package jline.solvers.ctmc.analyzers

Class RewardResult

java.lang.Object

jline.solvers.ctmc.analyzers.RewardResult

public final class RewardResult
extends Object

Result class for CTMC reward computation via value iteration.

Constructor Summary

Constructors

Constructor	Description
RewardResult(Map<String,Matrix> valueFunction, double[] time, List<String> rewardNames, Matrix stateSpace, Map<String,Double> steadyState, double runtime)

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object o)
List<String>	getRewardNames()
double	getRuntime()
Matrix	getStateSpace()
Map<String,Double>	getSteadyState()
double[]	getTime()
Map<String,Matrix>	getValueFunction()
int	hashCode()
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Details

RewardResult

public RewardResult(Map<String,Matrix> valueFunction,
 double[] time,
 List<String> rewardNames,
 Matrix stateSpace,
 Map<String,Double> steadyState,
 double runtime)

Method Details

getValueFunction

public Map<String,Matrix> getValueFunction()

getTime

public double[] getTime()

getRewardNames

public List<String> getRewardNames()

getStateSpace

public Matrix getStateSpace()

getSteadyState

public Map<String,Double> getSteadyState()

getRuntime

public double getRuntime()

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object