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

checkModel

fun checkModel(graph: Graph, formulaHead: FormulaHead, feedback: Feedback, shouldBeModel: Boolean = true): ModelCheckerResult(source)

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

Return

The calculated ModelCheckerResult.

Parameters

graph

The Graph that will be checked.

formulaHead

The Formula that will be checked as well as its meta-information.

feedback

The selected Feedback.