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

Interface PrismReplayService

All Superinterfaces:

PrismService

public interface PrismReplayService
extends PrismService

Nested Class Summary

Nested classes/interfaces inherited from interface org.palladiosimulator.simexp.pcm.prism.service.PrismService

PrismService.PrismResult

Method Summary

Methods inherited from interface org.palladiosimulator.simexp.pcm.prism.service.PrismService

initialise, modelCheck