Package org.palladiosimulator.reliability.solver.pcm2markov

Class MarkovResultApproximation

java.lang.Object

org.palladiosimulator.reliability.solver.pcm2markov.MarkovResultApproximation

public class MarkovResultApproximation
extends Object

This class represents an approximated Markov transformation result value.

Constructor Summary

Constructors

Constructor	Description
MarkovResultApproximation(double lowerBound, double upperBound)	Initializes a new Markov result value approximation.

Method Summary

Modifier and Type	Method	Description
int	getAccuracy()	Retrieves the accuracy (i.e., number of exact decimal values) of the approximation.
double	getAdjustedLowerBound()	Retrieves the lower approximation bound after adjustment.
double	getAdjustedUpperBound()	Retrieves the upper approximation bound after adjustment.
double	getLowerBound()	Retrieves the lower approximation bound.
double	getUpperBound()	Retrieves the upper approximation bound.
boolean	hasRequiredAccuracy(int requiredAccuracy)	Checks if the approximation fulfills a required accuracy (i.e., number of exact decimal places).

Methods inherited from class java.lang.Object

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

Constructor Detail

MarkovResultApproximation

public MarkovResultApproximation(double lowerBound,
                                 double upperBound)

Initializes a new Markov result value approximation.

Parameters:

lowerBound - the lower bound of the approximation

upperBound - the upper bound of the approximation

Method Detail

getAccuracy

public int getAccuracy()

Retrieves the accuracy (i.e., number of exact decimal values) of the approximation.

Returns:

the accuracy of the approximation

getAdjustedLowerBound

public double getAdjustedLowerBound()

Retrieves the lower approximation bound after adjustment.

Returns:

the lower approximation bound

getAdjustedUpperBound

public double getAdjustedUpperBound()

Retrieves the upper approximation bound after adjustment.

Returns:

the upper approximation bound

getLowerBound

public double getLowerBound()

Retrieves the lower approximation bound.

Returns:

the lower approximation bound

getUpperBound

public double getUpperBound()

Retrieves the upper approximation bound.

Returns:

the upper approximation bound

hasRequiredAccuracy

public boolean hasRequiredAccuracy(int requiredAccuracy)

Checks if the approximation fulfills a required accuracy (i.e., number of exact decimal places).

Parameters:

requiredAccuracy - the required accuracy

Returns:

true if the required accuracy is fulfilled