Uses of Class
it.uniroma2.art.semanticturkey.changetracking.sail.UndoSource.HistorySourcedUndo
-
Uses of UndoSource.HistorySourcedUndo in it.uniroma2.art.semanticturkey.changetracking.sail
Modifier and TypeMethodDescriptionvoid
UndoSource.UndoSourceVisitor.visitHistorySourced
(UndoSource.HistorySourcedUndo undoStackTip)