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

ModelCheckerResponse

data class ModelCheckerResponse(val rootTrace: ModelCheckerTrace, val feedback: Feedback)(source)

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

Author

Jan Müller

Constructors

Link copied to clipboard
constructor(rootTrace: ModelCheckerTrace, feedback: Feedback)

Creates a ModelCheckerResponse with the given parameters.

Properties

Link copied to clipboard
val feedback: Feedback

The Feedback-selection.

Link copied to clipboard
val rootTrace: ModelCheckerTrace

The root ModelCheckerTrace, that contains the results of the algorithm.