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

Interface PrismService

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(File logFile)
PrismService.PrismResult	modelCheck(PrismContext context)

Method Details

initialise

void initialise(File logFile)

modelCheck

PrismService.PrismResult modelCheck(PrismContext context)