toggle menu
apollo-backend
1.0.0
Apollo-Backend
switch theme
search in API
apollo-backend
/
eu.yeger.apollo.model_checker.model.api
/
ModelCheckerResponse
/
ModelCheckerResponse
Model
Checker
Response
constructor
(
rootTrace
:
ModelCheckerTrace
,
feedback
:
Feedback
)
(
source
)
Creates a
ModelCheckerResponse
with the given parameters.