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

Class ArchitecturalPreconditionUtil

java.lang.Object

org.palladiosimulator.dependability.reliability.uncertainty.solver.util.ArchitecturalPreconditionUtil

public class ArchitecturalPreconditionUtil
extends Object

Constructor Summary

Constructors

Constructor	Description
ArchitecturalPreconditionUtil()

Method Summary

Modifier and Type	Method	Description
static boolean	allPreconditionsFulfilled(ArchitecturalCountermeasure countermeasure, org.palladiosimulator.solver.models.PCMInstance pcmModel)
static boolean	allPreconditionsFulfilled(UncertaintyInducedFailureType uncertainty, org.palladiosimulator.solver.models.PCMInstance pcmModel)

Methods inherited from class java.lang.Object

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

Constructor Details

ArchitecturalPreconditionUtil

public ArchitecturalPreconditionUtil()

Method Details

allPreconditionsFulfilled

public static boolean allPreconditionsFulfilled(ArchitecturalCountermeasure countermeasure,
 org.palladiosimulator.solver.models.PCMInstance pcmModel)

allPreconditionsFulfilled

public static boolean allPreconditionsFulfilled(UncertaintyInducedFailureType uncertainty,
 org.palladiosimulator.solver.models.PCMInstance pcmModel)