org.grinvin.io

Class InvariantValuesLoader


public class InvariantValuesLoader
extends java.lang.Object

Loader for the computed values of a saved GraphBundle

Constructor Summary

InvariantValuesLoader(GraphBundle bundle)

Method Summary

void
load(InputStream input)
Load the invariant values from the given InputStream

Constructor Details

InvariantValuesLoader

public InvariantValuesLoader(GraphBundle bundle)

Method Details

load

public void load(InputStream input)
            throws IOFormatException
Load the invariant values from the given InputStream
Parameters:
input - the InputStream