org.grinvin.generators.graphs
Class FilteredInvariantListGeneratorSink
- GraphGeneratorSink
public class FilteredInvariantListGeneratorSink
Graph generator sink which computes invariants for graph bundles handed
to it that pass through a certain filter.
FilteredInvariantListGeneratorSink
public FilteredInvariantListGeneratorSink(Invariant[] invariants,
GraphFilter filter)
Create a sink which computes the values of all given invariants
for all graph bundles handed to it.
void receiveGraphBundle
public @Override void receiveGraphBundle(GraphBundle bundle)