| Prev Package | Next Package | Frames | No Frames |
Interface Summary | |
| GraphGenerator | An object that satisfies this interface can be used to instantiate
an object of type GraphGeneratorInstance. |
| GraphGeneratorInstance | Represents a particular instance of a generator, i.e., a generator for which all parameters have been assigned a value. |
| GraphGeneratorSink | Interface for all objects that receive graph bundles from a graph bundle. |
Class Summary | |
| AbstractGraphGenerator | Common superclass of various graph generator classes. |
| AbstractGraphGeneratorInstance | Abstract super class of all graph generator instances. |
| AbstractGraphGeneratorSink | Graph generator sink that uses default graph bundles. |
| FilteredInvariantListGeneratorSink | Graph generator sink which computes invariants for graph bundles handed to it that pass through a certain filter. |
| GraphGeneratorInstanceManager | Manages the mapping between Graph generator instances and their identifiers. |
| GraphListElementGeneratorSink | Allows graph generators to generate graph list elements and add them to a list. |
| InvariantListGeneratorSink | Graph generator sink which computes invariants for all graph bundles handed to it. |
| UnknownGraphGeneratorInstanceException | |