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

G

generalizationVar - Variable in class at.jku.risc.stout.urau.algo.AntiUnifyProblem

get(int) - Method in class at.jku.risc.stout.urau.algo.AlignmentList.Alignment

get(int) - Method in class at.jku.risc.stout.urau.algo.AlignmentList

Returns an alignment of this list.

get(Variable) - Method in class at.jku.risc.stout.urau.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.urau.data.EquationSystem

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

get(int) - Method in class at.jku.risc.stout.urau.data.TermAtomList

get(int) - Method in class at.jku.risc.stout.urau.util.CoordList

get(int) - Method in class at.jku.risc.stout.urau.util.TinyList

guarantees complexity O(1) by definition

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

getBranchId() - Method in class at.jku.risc.stout.urau.algo.AntiUnifySystem

getEqOrig() - Method in class at.jku.risc.stout.urau.algo.AntiUnify

Returns the original system of equations.

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

getLast() - Method in class at.jku.risc.stout.urau.util.TinyList

guarantees complexity O(1) by definition

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

Returns the left node of this AUP.

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

The left hedge of the equation.

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

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

getPool(T) - Static method in class at.jku.risc.stout.urau.util.Pool

Returns a Pool for a certain type of objects.

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

getRFnc() - Method in class at.jku.risc.stout.urau.algo.AntiUnifySystem

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

Returns the right node of this AUP.

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

The right hedge of the equation.

getSequence() - Method in class at.jku.risc.stout.urau.data.Hedge

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

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

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