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

ModelCheckerRequest

data class ModelCheckerRequest(val formula: String, val graph: ApiGraph, val language: String, val feedback: Feedback)(source)

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

Author

Jan Müller

Constructors

Link copied to clipboard
constructor(formula: String, graph: ApiGraph, language: String, feedback: Feedback)

Creates a ModelCheckerRequest with the given parameters.

Properties

Link copied to clipboard
val feedback: Feedback

The requested Feedback-selection.

Link copied to clipboard
val formula: String

The formula.

Link copied to clipboard
val graph: ApiGraph

The ApiGraph structure.

Link copied to clipboard
val language: String

The language that will be used for error messages of the formula-parser.