$ A B C D E F G H I J L M N O P R S T V

A

abstrContains(TermAtom) - Method in class at.jku.risc.stout.hoau.algo.AntiUnifyProblem

Tests whether the set of abstracted variables contains the given variable.

abstrItem(int) - Method in class at.jku.risc.stout.hoau.algo.AntiUnifyProblem

Returns the abstracted bound variable corresponding to the given position index from the list of abstractions.

abstrLambda() - Method in class at.jku.risc.stout.hoau.algo.AntiUnifyProblem

Abstracts the lambda bound variables of both sides of the equation of this AUP.

abstrLambda() - Method in class at.jku.risc.stout.hoau.algo.PermEquivProblem

Abstracts the lambda bound variables of both sides of the equation.

abstrSet() - Method in class at.jku.risc.stout.hoau.algo.AntiUnifyProblem

Returns the set of abstracted variables.

abstrSize() - Method in class at.jku.risc.stout.hoau.algo.AntiUnifyProblem

Returns the length of the list of abstractions.

add(T) - Method in class at.jku.risc.stout.hoau.data.EquationSystem

Adds a new equation to this system.

add(TermNode) - Method in class at.jku.risc.stout.hoau.data.Hedge

addAbstrVar(BoundVariable) - Method in class at.jku.risc.stout.hoau.algo.AntiUnifyProblem

Adds a bound variable to the list of abstractions

addEquation(TermNode, TermNode) - Method in class at.jku.risc.stout.hoau.algo.PermEquivSystem

Adds a matching problem to the permuting matcher.

addToHedge(TermNode) - Method in class at.jku.risc.stout.hoau.data.NodeFactory

AntiUnify - Class in at.jku.risc.stout.hoau.algo

This class encapsulates the rule based system AntiUnifySystem and allows to justify the result by back substitution of the generalization with the reported differences inside the computed store and testing alpha equivalence with also allowing eta expansion.

AntiUnify(EquationSystem<AntiUnifyProblem>, int, DebugLevel) - Constructor for class at.jku.risc.stout.hoau.algo.AntiUnify

Creates and initializes the encapsulated rule based system AntiUnifySystem with the given equation system and an empty Substitution.

antiUnify(boolean, PrintStream) - Method in class at.jku.risc.stout.hoau.algo.AntiUnify

Calls the rule based system AntiUnifySystem and tries to justify the computed result if the second argument of this method is true.

AntiUnifyProblem - Class in at.jku.risc.stout.hoau.algo

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.

AntiUnifyProblem() - Constructor for class at.jku.risc.stout.hoau.algo.AntiUnifyProblem

AntiUnifySystem - Class in at.jku.risc.stout.hoau.algo

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

AntiUnifySystem(EquationSystem<AntiUnifyProblem>, Substitution) - Constructor for class at.jku.risc.stout.hoau.algo.AntiUnifySystem

Creates and initializes the rule based system.

appendType(String, char) - Method in class at.jku.risc.stout.hoau.data.atom.TermAtom

at.jku.risc.stout.hoau.algo - package 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 - package 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 - package at.jku.risc.stout.hoau.data.atom

at.jku.risc.stout.hoau.util - package at.jku.risc.stout.hoau.util

This package contains some basic utility classes.

$ A B C D E F G H I J L M N O P R S T V