de.uni_due.inf.ti.raven.data

Interface CounterExample

All Superinterfaces:

Data

All Known Implementing Classes:

CospanCounterExample, RuleCounterExample

public interface CounterExample
extends Data

A class implements the CounterExample interface to indicate that the instances of the class provide the counter example types of raven which can be stored in the repository.

Version:

$Revision: 1.5 $

Author:

Christoph Blume, Dennis Nolte

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static class	CounterExample.Type Enumeration of the different types of implemented counter examples.

Method Summary

Methods inherited from interface de.uni_due.inf.ti.raven.data.Data

getType