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

DefaultModelCheckerService

class DefaultModelCheckerService : ModelCheckerService(source)

Service for ModelChecking.

Author

Jan Müller

Constructors

Link copied to clipboard
constructor()

Creates a DefaultModelCheckerService.

Functions

Link copied to clipboard
open override 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.