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

Unranked Second-Order Anti-Unification

Packages 
Package Description
at.jku.risc.stout.urauc.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 (AlignFncLAA, AlignFncInput ).
at.jku.risc.stout.urauc.data
This package contains the classes which are needed to build up the term tree.
at.jku.risc.stout.urauc.data.atom
This package contains all the atomic types like FunctionSymbol, TermVar, HedgeVar.
at.jku.risc.stout.urauc.util
This package contains utility classes like the DataStructureFactory which instantiates common data structures like Lists, Maps, Sets.