Anti-Unification for Unranked Terms and Hedges

Packages

Package	Description
at.jku.risc.stout.urau.algo	This package contains the classes of the rule based system AntiUnifySystem, the corresponding problem definition AntiUnifyProblem and some standard implementations of a rigidity function (RigidityFncSubsequence, RigidityFncSubstring ).
at.jku.risc.stout.urau.data	This package contains the classes which are needed to build up the term tree.
at.jku.risc.stout.urau.data.atom	This package contains all the atomic types like Function, TermVar, HedgeVar.
at.jku.risc.stout.urau.util	This package contains utility classes like the DataStructureFactory which instantiates common data structures like Lists, Maps, Sets.