Package org.palladiosimulator.simexp.pcm.prism.service

Interface PrismService

All Known Subinterfaces:

PrismRecorderService, PrismReplayService

public interface PrismService

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static class	PrismService.PrismResult

Method Summary

Modifier and Type	Method	Description
void	initialise(Path logFilePath, String strategyId)
PrismService.PrismResult	modelCheck(PrismContext context)

Method Details

initialise

void initialise(Path logFilePath,
 String strategyId)

modelCheck

PrismService.PrismResult modelCheck(PrismContext context)