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

G

get(Variable) - Method in class at.jku.risc.stout.hoau.algo.Substitution

Returns the associated TermNode for a given Variable or null if no mapping exists.

get(int) - Method in class at.jku.risc.stout.hoau.data.Hedge

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

getBoundVar() - Method in class at.jku.risc.stout.hoau.data.atom.Lambda

Returns the variable which is bound by this lambda binding.

getDom() - Method in class at.jku.risc.stout.hoau.algo.PermEquiv

getEqSys() - Method in class at.jku.risc.stout.hoau.algo.PermEquiv

getEqSysOrig() - Method in class at.jku.risc.stout.hoau.algo.AntiUnify

Returns the original equation system.

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

Retrieves the first element of this system of equations or returns null if it is empty.

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

Returns the generalization variable, which represents the most general generalization of this AUP.

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

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

Retrieves the last element of this system of equations or returns null if it is empty.

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

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

getLeft() - Method in interface at.jku.risc.stout.hoau.data.Equation

Returns the left hand side of the equation.

getMapping() - Method in class at.jku.risc.stout.hoau.algo.Substitution

getName() - Method in class at.jku.risc.stout.hoau.data.atom.TermAtom

getOriginName() - Method in class at.jku.risc.stout.hoau.data.atom.BoundVariable

getOriginName() - Method in class at.jku.risc.stout.hoau.data.atom.TermAtom

getProblemSet() - Method in class at.jku.risc.stout.hoau.algo.AntiUnifySystem

Returns the problem set which is empty after AntiUnifySystem.compute() succeeded.

getProblemSet() - Method in class at.jku.risc.stout.hoau.algo.PermEquivSystem

getRan() - Method in class at.jku.risc.stout.hoau.algo.PermEquiv

getResult() - Method in class at.jku.risc.stout.hoau.algo.AntiUnify

Returns the entire AntiUnifySystem which is encapsulated by this class

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

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

getRight() - Method in interface at.jku.risc.stout.hoau.data.Equation

Returns the right hand side of the equation.

getSigma() - Method in class at.jku.risc.stout.hoau.algo.AntiUnifySystem

The substitution sigma contains the generalization after AntiUnifySystem.compute() succeeded.

getStore() - Method in class at.jku.risc.stout.hoau.algo.AntiUnifySystem

Returns the store where all the disagreements are stored during the computation.

getType() - Method in class at.jku.risc.stout.hoau.data.atom.Function

getType() - Method in class at.jku.risc.stout.hoau.data.atom.Lambda

getType() - Method in class at.jku.risc.stout.hoau.data.atom.TermAtom

getType() - Method in class at.jku.risc.stout.hoau.data.atom.Variable

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