public interface CounterExample extends Data
CounterExample
interface to indicate that the instances
of the class provide the counter example types of raven which can be stored in the repository.Modifier and Type | Interface and Description |
---|---|
static class |
CounterExample.Type
Enumeration of the different types of implemented counter examples.
|