## Uses of Interface
de.gebit.integrity.runner.modelcheck.ModelChecker

- Packages that use ModelChecker
  Package | Description
  --- | ---
  de.gebit.integrity.runner |
  de.gebit.integrity.runner.modelcheck |
  de.gebit.integrity.runner.wrapper |

- - ### Uses of ModelChecker in de.gebit.integrity.runner

    Fields in de.gebit.integrity.runner declared as ModelChecker
    Modifier and Type | Field | Description
    --- | --- | ---
    `protected ModelChecker` | DefaultTestRunner.`modelChecker` | The model checker is used to validate the test model prior to execution.

    Methods in de.gebit.integrity.runner that return types with arguments of type ModelChecker
    Modifier and Type | Method | Description
    --- | --- | ---
    `Class<? extends ModelChecker>` | IntegrityRunnerModule.`bindModelChecker()` | Binding of the `ModelChecker`.

  - ### Uses of ModelChecker in de.gebit.integrity.runner.modelcheck

    Classes in de.gebit.integrity.runner.modelcheck that implement ModelChecker
    Modifier and Type | Class | Description
    --- | --- | ---
    `class` | `DefaultModelChecker` | Default implementation of a `ModelChecker`.
    `class` | `NullModelChecker` | This `ModelChecker` implementation does not perform any checks.

  - ### Uses of ModelChecker in de.gebit.integrity.runner.wrapper

    Fields in de.gebit.integrity.runner.wrapper declared as ModelChecker
    Modifier and Type | Field | Description
    --- | --- | ---
    `protected ModelChecker` | DefaultWrapperFactory.`modelChecker` | The model checker.