de.uka.ipd.sdq.pcmsolver.markovsolver
Class MarkovSolver

java.lang.Object
  de.uka.ipd.sdq.pcmsolver.markovsolver.MarkovSolver

public class MarkovSolver
extends Object

This class solves Markov Chains in the sense that it calculates the probability of getting from the Start State to the Success State (but not into the Failure State).

Author:

brosch

Constructor Summary

MarkovSolver()

Method Summary

double

solve(MarkovChain markovChain) Calculates the probability for the given Markov Chain to reach the Success State starting from the Start State.

Methods inherited from class java.lang.Object

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

Constructor Detail

MarkovSolver

public MarkovSolver()

Method Detail

solve

public double solve(MarkovChain markovChain)

Calculates the probability for the given Markov Chain to reach the Success State starting from the Start State.

Parameters:

markovChain - the given Markov Chain

Returns:

the probability of reaching the Success State