RISC JKU

Sequence Unification for Unranked Terms

Packages 
Package Description
at.jku.risc.stout.uru.algo  
at.jku.risc.stout.uru.data
This package contains the classes which are needed to build up the term tree.
at.jku.risc.stout.uru.data.atom
This package contains all the atomic types like Function, TermVar, HedgeVar.
at.jku.risc.stout.uru.util