toggle menu
apollo-backend
1.0.0
Apollo-Backend
switch theme
search in API
apollo-backend
/
eu.yeger.apollo.model_checker.model.api
/
ModelCheckerRequest
/
ModelCheckerRequest
Model
Checker
Request
constructor
(
formula
:
String
,
graph
:
ApiGraph
,
language
:
String
,
feedback
:
Feedback
)
(
source
)
Creates a
ModelCheckerRequest
with the given parameters.