public interface ConjectureHistoryEntryDelegate<E,extends,ConjectureHistoryEntry,E>
E
fromElement(Element element, SectionLoader sloader)
void
saveIntoWorkspace(SectionSaver ssaver, E entry)
Element
toElement(E entry)
public E fromElement(Element element, SectionLoader sloader)
public void saveIntoWorkspace(SectionSaver ssaver, E entry) throws IOException
public Element toElement(E entry)