Package | Description |
---|---|
at.jku.risc.stout.hoau.algo |
This package contains the classes of the rule based system
(
AntiUnifySystem )
and its sub-algorighm PermEquivSystem . |
Class and Description |
---|
AntiUnifyProblem
This class represents an anti-unification problem (AUP) which consists of one
generalization variable (the most general generalization), a list of
abstracted bound variables and an anti-unification equation.
|
AntiUnifySystem
This class represents a rule based system for (a variant of) higher-order
anti-unification.
The algorithm P is described in the paper: Alexander Baumgartner, Temur Kutsia, Jordi Levy and Mateu Villaret, A Variant of Higher-Order Anti-Unification |
DebugLevel
Enumeration with 5 different levels of debugging.
|
PermEquivProblem
This class represents a matching problem of two TermNodes.
|
Substitution
This class represents a substitution, which is a mapping from variables to
terms.
It is used inside the rule based system AntiUnifySystem to compute generalizations for given AntiUnifyProblems. |