RISC-Linz RISC-Linz Research Institute for Symbolic Computation  
about
|
people
|
publications
|
research
|
education
|
industry
|
conferences
|
media
|
projects
internal
  
search:
  

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.