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 |