| Portability | non-portable (imports ATerm.Unshared) |
|---|---|
| Stability | provisional |
| Maintainer | Christian.Maeder@dfki.de |
ATerm.Diff
Description
Provides functions that calculate differences in unshared ATerms.
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.
/Note: this function ignores annotions and the resulting ATerm does not contain any annotation!/