org.grinvin.generators.graphs
Class InvariantListGeneratorSink
java.lang.Object
org.grinvin.generators.graphs.InvariantListGeneratorSink
- GraphGeneratorSink
public class InvariantListGeneratorSink
extends java.lang.Object
Graph generator sink which computes invariants for all graph bundles handed
to it.
>result
protected final Listresult
InvariantListGeneratorSink
public InvariantListGeneratorSink(Invariant[] invariants)
Create a sink which computes the values of all given invariants
for all graph bundles handed to it.
> getListOfInvariantValues
public List getListOfInvariantValues()
Return the results of computing all invariants.