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

Nominal Anti-Unification

Packages 
Package Description
at.jku.risc.stout.nau.algo
This package contains the classes of the rule based system (AntiUnifySystem) to solve the nominal anti-unification problem and an algorithm to solve the nominal equivariance problem (EquivarianceSystem) which is needed by the anti-unification algorithm.
at.jku.risc.stout.nau.data
This package contains the nominal parser and some container classes like equation systems, freshness context and a container for nominal pairs.
at.jku.risc.stout.nau.data.atom
This package contains the classes which are needed to build up the term tree (E.g.: Atom, Abstraction, FunctionApplication, Suspension, SortAtom, SortData, NodeFactory,...).
at.jku.risc.stout.nau.util
This package contains some basic utility classes.