JavaScript is disabled on your browser.
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
Prev Class
Next Class
Frames
No Frames
All Classes
Summary:
Nested |
Field |
Constr |
Method
Detail:
Field |
Constr |
Method
de.uni_due.inf.ti.raven.data
Interface Data.Type
All Known Implementing Classes:
Automaton.Type
,
Cospan.Type
,
CounterExample.Type
,
Decomposition.Type
,
Edge.Type
,
Graph.Type
,
Node.Type
,
Operation.Type
,
RavenBDD.Type
,
Signature.Type
Enclosing interface:
Data
public static interface
Data.Type
The
Type
interface is implemented by each class implementing the
Data
interface to indicate the possible manifestations (of the data class).
Author:
Christoph Blume
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
Prev Class
Next Class
Frames
No Frames
All Classes
Summary:
Nested |
Field |
Constr |
Method
Detail:
Field |
Constr |
Method