org.grinvin.generators.graphs

Class InvariantListGeneratorSink

Implemented Interfaces:
GraphGeneratorSink
Known Direct Subclasses:
FilteredInvariantListGeneratorSink

public class InvariantListGeneratorSink
extends java.lang.Object
implements GraphGeneratorSink

Graph generator sink which computes invariants for all graph bundles handed to it.

Field Summary

protected List
>result
protected InvariantComputer[]
computers

Constructor Summary

InvariantListGeneratorSink(Invariant[] invariants)
Create a sink which computes the values of all given invariants for all graph bundles handed to it.

Method Summary

List
> getListOfInvariantValues()
Return the results of computing all invariants.
GraphBundle
createGraphBundle()
Creates an empty graph bundle which can be filled by the generator and handed to GraphGeneratorSink.receiveGraphBundle(GraphBundle).
void
receiveGraphBundle(GraphBundle bundle)
Receives the next graph bundle from the generator.

Field Details

>result

protected final Listresult

computers

protected final InvariantComputer[] computers

Constructor Details

InvariantListGeneratorSink

public InvariantListGeneratorSink(Invariant[] invariants)
Create a sink which computes the values of all given invariants for all graph bundles handed to it.

Method Details

> getListOfInvariantValues

public List getListOfInvariantValues()
Return the results of computing all invariants.

createGraphBundle

public GraphBundle createGraphBundle()
Creates an empty graph bundle which can be filled by the generator and handed to GraphGeneratorSink.receiveGraphBundle(GraphBundle).
Specified by:
createGraphBundle in interface GraphGeneratorSink

receiveGraphBundle

public void receiveGraphBundle(GraphBundle bundle)
Receives the next graph bundle from the generator.
Specified by:
receiveGraphBundle in interface GraphGeneratorSink