apollo-backend/eu.yeger.apollo.model_checker

Package-level declarations

Properties

modelCheckerModule

val modelCheckerModule: Module

Koin-module containing the model-checker services of the backend.

Functions

modelCheckerRoutes

fun Route.modelCheckerRoutes()

Appends all routes for ModelChecking to the given Route.