Package org.palladiosimulator.dependability.reliability.uncertainty.solver.model

Class DiscreteUncertaintyStateSpace

java.lang.Object

org.palladiosimulator.dependability.reliability.uncertainty.solver.model.DiscreteUncertaintyStateSpace

public class DiscreteUncertaintyStateSpace
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	DiscreteUncertaintyStateSpace.UncertaintyState

Method Summary

Modifier and Type	Method	Description
Set<List<DiscreteUncertaintyStateSpace.UncertaintyState>>	cartesianProduct()
Optional<DiscreteUncertaintyStateSpace.UncertaintyState>	findStateInstantiating(org.palladiosimulator.envdyn.environment.templatevariable.TemplateVariable template)
int	getNumberOfStates()
static DiscreteUncertaintyStateSpace	of(List<DiscreteUncertaintyStateSpace.UncertaintyState> uncertaintyStates)
static DiscreteUncertaintyStateSpace	of(DiscreteUncertaintyStateSpace.UncertaintyState... uncertaintyStates)
static DiscreteUncertaintyStateSpace.UncertaintyState	toUncertaintyState(org.palladiosimulator.envdyn.environment.staticmodel.GroundRandomVariable variable, tools.mdsd.probdist.api.parser.ParameterParser parameterParser)
static Set<DiscreteUncertaintyStateSpace.UncertaintyState>	valueSpaceOf(UncertaintyInducedFailureType uncertainty, tools.mdsd.probdist.api.parser.ParameterParser parameterParser)

Methods inherited from class java.lang.Object

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

Method Details

of

public static DiscreteUncertaintyStateSpace of(DiscreteUncertaintyStateSpace.UncertaintyState... uncertaintyStates)

of

public static DiscreteUncertaintyStateSpace of(List<DiscreteUncertaintyStateSpace.UncertaintyState> uncertaintyStates)

valueSpaceOf

public static Set<DiscreteUncertaintyStateSpace.UncertaintyState> valueSpaceOf(UncertaintyInducedFailureType uncertainty,
 tools.mdsd.probdist.api.parser.ParameterParser parameterParser)

toUncertaintyState

public static DiscreteUncertaintyStateSpace.UncertaintyState toUncertaintyState(org.palladiosimulator.envdyn.environment.staticmodel.GroundRandomVariable variable,
 tools.mdsd.probdist.api.parser.ParameterParser parameterParser)

cartesianProduct

public Set<List<DiscreteUncertaintyStateSpace.UncertaintyState>> cartesianProduct()

findStateInstantiating

public Optional<DiscreteUncertaintyStateSpace.UncertaintyState> findStateInstantiating(org.palladiosimulator.envdyn.environment.templatevariable.TemplateVariable template)

getNumberOfStates

public int getNumberOfStates()