ModelCheckerRequest

constructor(formula: String, graph: ApiGraph, language: String, feedback: Feedback)(source)

Creates a ModelCheckerRequest with the given parameters.