Interface SolverStrategy
-
- All Known Implementing Classes:
Pcm2LqnStrategy,Pcm2RegExStrategy
public interface SolverStrategy
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description voidloadTransformedModel(String fileName)voidsolve()voidstoreTransformedModel(String fileName)voidtransform(PCMInstance model)
-
-
-
Method Detail
-
transform
void transform(PCMInstance model)
-
solve
void solve()
-
loadTransformedModel
void loadTransformedModel(String fileName)
-
storeTransformedModel
void storeTransformedModel(String fileName)
-
-