Class StateEntryDelegate

Implemented Interfaces:: ConjectureHistoryEntryDelegate<E,extends,ConjectureHistoryEntry,E>

public class StateEntryDelegate

extends java.lang.Object

implements ConjectureHistoryEntryDelegate<E,extends,ConjectureHistoryEntry,E>

Method Summary
`StateEntry`	`fromElement(Element element, SectionLoader sloader)`
`void`	`saveIntoWorkspace(SectionSaver ssaver, StateEntry entry)`
`Element`	`toElement(StateEntry entry)`

public StateEntry fromElement(Element element,
                              SectionLoader sloader)

Specified by:
fromElement in interface ConjectureHistoryEntryDelegate<E,extends,ConjectureHistoryEntry,E>

public void saveIntoWorkspace(SectionSaver ssaver,
                              StateEntry entry)
            throws IOException

public Element toElement(StateEntry entry)

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