org.grinvin.io

Class InvariantValuesLoader


public class InvariantValuesLoader
extends java.lang.Object

Loader for the computed values of a saved GraphBundle

Method Summary

static void
load(GraphBundle bundle, InputStream input)
Load the invariant values from the given InputStream
static void
load_1_0(GraphBundle bundle, InputStream input)

Method Details

load

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

load_1_0

public static void load_1_0(GraphBundle bundle,
                            InputStream input)
            throws IOFormatException