Package org.palladiosimulator.solver.transformations

Interface SolverStrategy

All Known Implementing Classes:
Pcm2LqnStrategy, Pcm2RegExStrategy
public interface SolverStrategy

  • Method Details

    • transform

      void transform(PCMInstance model)

    • solve

      void solve()

    • loadTransformedModel

      void loadTransformedModel(String fileName)

    • storeTransformedModel

      void storeTransformedModel(String fileName)