apollo-backend/eu.yeger.apollo.model_checker.service/ModelCheckerService

ModelCheckerService

interface ModelCheckerService(source)

Service for ModelChecking.

Author

Jan Müller

Inheritors

Functions

Link copied to clipboard
abstract fun checkModel(modelCheckerRequest: ModelCheckerRequest): ApiResult<ModelCheckerResponse>

Checks if a graph is a model of a formula. Validates the input and transforms the feedback as requested.