Interface CheckStateOptions

Options passed to a StateChecker.