apollo-backend/eu.yeger.apollo.fol

Package-level declarations

Types

Link copied to clipboard
typealias ModelCheckerResult = Result<ModelCheckerTrace, TranslationDTO>

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

Functions

Link copied to clipboard
fun checkModel(graph: Graph, formulaHead: FormulaHead, feedback: Feedback, shouldBeModel: Boolean = true): ModelCheckerResult

Performs the ModelChecking algorithm for the given Graph, FormulaHead and with the selected Feedback-option.