Hets - the Heterogeneous Tool Set
Copyright(c) Christian Maeder DFKI GmbH 2009
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilitynon-portable(Logic)
Safe HaskellNone

Static.History

Description

functions to keep the history entries in sync with the actual graph changes

Synopsis

Documentation

groupHistory :: DGraph -> DGRule -> DGraph -> DGraph Source #

group pushd changes, leave history of old graph unchanged

changeDGH :: DGraph -> DGChange -> DGraph Source #

change the given DGraph and the history with the given DGChange.

changesDGH :: DGraph -> [DGChange] -> DGraph Source #

change the given DGraph with a list of changes

updateDGOnly :: DGraph -> DGChange -> (DGraph, DGChange) Source #

change the given DGraph with given DGChange and return a new DGraph and the processed DGChange as well.

getLastChange :: DGraph -> DGChange Source #

get most recent change

splitHistory :: DGraph -> DGraph -> (ProofHistory, ProofHistory) Source #

get the old history and the new offset

applyProofHistory :: SizedList HistElem -> DGraph -> DGraph Source #

apply the reversed changes to the graph and add them to the history

togglePending :: DGraph -> [LEdge DGLinkLab] -> DGraph Source #

toggle the pending flag of the input edges

justTogglePending :: DGraph -> [LEdge DGLinkLab] -> DGraph Source #

toggle the pending flag of the input edges (without history change)

clearHistory :: DGraph -> DGraph Source #

forget history