# Hierarchy For Package de.gebit.integrity.runner.modelcheck

Package Hierarchies:

- All Packages

## Class Hierarchy

- java.lang.Object
  - de.gebit.integrity.runner.modelcheck.DefaultModelChecker (implements de.gebit.integrity.runner.modelcheck.ModelChecker)
  - de.gebit.integrity.runner.modelcheck.NullModelChecker (implements de.gebit.integrity.runner.modelcheck.ModelChecker)

## Interface Hierarchy

- de.gebit.integrity.runner.modelcheck.ModelChecker