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

A Variant of Higher-Order Anti-Unification

Packages 
Package Description
at.jku.risc.stout.hoau.algo
This package contains the classes of the rule based system (AntiUnifySystem) and its sub-algorighm PermEquivSystem.
at.jku.risc.stout.hoau.data
This package contains the classes which are needed to build up the term tree and the DataStructureFactory which instantiates common data structures like Lists, Maps, Sets.
at.jku.risc.stout.hoau.data.atom  
at.jku.risc.stout.hoau.util
This package contains some basic utility classes.