apollo-backend/eu.yeger.apollo.model_checker.model.api

Package-level declarations

Types

Link copied to clipboard
data class ModelCheckerRequest(val formula: String, val graph: ApiGraph, val language: String, val feedback: Feedback)

Request of the ModelChecking algorithm. Contains the necessary data to execute the algorithm.

Link copied to clipboard
data class ModelCheckerResponse(val rootTrace: ModelCheckerTrace, val feedback: Feedback)

Response of the ModelChecking algorithm. Contains the result (and it's children) and the Feedback-selection.