Class DiscreteUncertaintyStateSpace.UncertaintyState

java.lang.Object
org.palladiosimulator.dependability.reliability.uncertainty.solver.model.DiscreteUncertaintyStateSpace.UncertaintyState
Enclosing class:
DiscreteUncertaintyStateSpace

public static class DiscreteUncertaintyStateSpace.UncertaintyState extends Object
  • Method Details

    • of

      public static DiscreteUncertaintyStateSpace.UncertaintyState of(org.palladiosimulator.envdyn.environment.staticmodel.GroundRandomVariable variable, Set<tools.mdsd.probdist.api.entity.CategoricalValue> valueSpace)
    • newValuedStateWith

      public DiscreteUncertaintyStateSpace.UncertaintyState newValuedStateWith(tools.mdsd.probdist.api.entity.CategoricalValue value)
    • getId

      public String getId()
    • getValueSpace

      public Set<tools.mdsd.probdist.api.entity.CategoricalValue> getValueSpace()
    • getValue

      public tools.mdsd.probdist.api.entity.CategoricalValue getValue()
    • instantiates

      public boolean instantiates(org.palladiosimulator.envdyn.environment.templatevariable.TemplateVariable template)
    • getInstantiatedTemplate

      public org.palladiosimulator.envdyn.environment.templatevariable.TemplateVariable getInstantiatedTemplate()