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

public InvariantValuesLoader(GraphBundle bundle)

public void load(InputStream input)
            throws IOFormatException

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

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

Constructor Summary