apollo-backend/eu.yeger.apollo.fol/ModelCheckerResult

ModelCheckerResult

typealias ModelCheckerResult = Result<ModelCheckerTrace, TranslationDTO>(source)

Result that either contains the result of the ModelChecking algorithm or the translation key of an error message.

Author

Jan Müller