Copyright	(c) Klaus Luettich Uni Bremen 2005
License	GPLv2 or higher, see LICENSE.txt
Maintainer	Christian.Maeder@dfki.de
Stability	provisional
Portability	non-portable (imports ATerm.Unshared)
Safe Haskell	None
Language	Haskell98

ATerm.Diff

Description

Provides functions that calculate differences in unshared ATerms.

Synopsis

atDiff :: ATerm -> ATerm -> (ATerm, [ATerm])

Documentation

atDiff :: ATerm -> ATerm -> (ATerm, [ATerm]) Source #

all diferences between both terms are replaced by appropiate placeholders (in <>) and the differing terms are added to the list of ATerm as arguments to the function symbol diff.