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)`

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

Load the invariant values from the given InputStream
Parameters:
input - the InputStream

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

Overview Package Tree Index Deprecated About
Prev Class \| Next Class	Frames \| No Frames
Summary: Nested \| Field \| Method \| Constr	Detail: Nested \| Field \| Method \| Constr

Method Summary