Portability | non-portable (imports ATerm.Unshared) |
---|---|
Stability | provisional |
Maintainer | Christian.Maeder@dfki.de |
Provides functions that calculate differences in unshared ATerm
s.
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!/