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

G

get(int) - Method in class at.jku.risc.stout.urauc.algo.Contour

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

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

get(int[], int) - Method in class at.jku.risc.stout.urauc.data.Hedge

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

get(int[], int) - Method in class at.jku.risc.stout.urauc.data.TermNode

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

Returns the element at the relative position i.

getAlignment() - Method in class at.jku.risc.stout.urauc.algo.AntiUnifyProblem

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

getClip(int, Contour.ContourAtom) - Method in class at.jku.risc.stout.urauc.algo.ContourArrangement

This is a shortcut for ContourArrangement.getContour(int) .clip(ContourElem).

getCommutativeArrangementSize() - Method in interface at.jku.risc.stout.urauc.algo.AlignFnc.AlignmentIterator

getCommutativeArrangementSize() - Method in class at.jku.risc.stout.urauc.algo.AlignFncInput

getCommutativeArrangementSize() - Method in class at.jku.risc.stout.urauc.algo.AlignFncLAA.AlignmentIter

getContour(int) - Method in class at.jku.risc.stout.urauc.algo.ContourArrangement

Returns the Contour at the given position.

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

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

getFirst() - Method in class at.jku.risc.stout.urauc.util.TinyList

Returns the (relative) first element.

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

getHoleHedge() - Method in class at.jku.risc.stout.urauc.data.Hedge

getHoleIdx() - Method in class at.jku.risc.stout.urauc.data.Hedge

getHorizontalPartX() - Method in class at.jku.risc.stout.urauc.algo.AntiUnifyProblem

Returns the horizontal abstraction of this AUP.

getHorizontalVarX() - Method in class at.jku.risc.stout.urauc.algo.AntiUnifyProblem

Returns the hedge generalization variable, which is used for horizontal abstraction.

getIdxLeftDepth() - Method in class at.jku.risc.stout.urauc.data.Alignment.AlignmentAtom

getIdxLeftTop() - Method in class at.jku.risc.stout.urauc.data.Alignment.AlignmentAtom

getIdxRightDepth() - Method in class at.jku.risc.stout.urauc.data.Alignment.AlignmentAtom

getIdxRightTop() - Method in class at.jku.risc.stout.urauc.data.Alignment.AlignmentAtom

getIterator(AntiUnifyProblem, int, int, boolean, PrintStream) - Method in class at.jku.risc.stout.urauc.algo.AlignFnc

Initialize the computation.

getIterator(AntiUnifyProblem, int, int, boolean, PrintStream) - Method in class at.jku.risc.stout.urauc.algo.AlignFncInput

getIterator(AntiUnifyProblem, int, int, boolean, PrintStream) - Method in class at.jku.risc.stout.urauc.algo.AlignFncLAA

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

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

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

Returns the last element.

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

Returns the left hedge of this AUP.

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

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

The left hedge of the equation.

getLeftWord() - Method in class at.jku.risc.stout.urauc.algo.AntiUnifyProblem.CommutativeArrangementIter

getMaxAlignmentLen() - Method in interface at.jku.risc.stout.urauc.algo.AlignFnc.AlignmentIterator

getMaxAlignmentLen() - Method in class at.jku.risc.stout.urauc.algo.AlignFncInput

getMaxAlignmentLen() - Method in class at.jku.risc.stout.urauc.algo.AlignFncLAA.AlignmentIter

getMaxPossible() - Method in class at.jku.risc.stout.urauc.algo.AntiUnifyProblem.CommutativeArrangementIter

getMostGeneral() - Method in class at.jku.risc.stout.urauc.algo.AntiUnify.AntiUnifyOne

Returns the hedge variable which is used as generalization variable.

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

getPartialIterator() - Method in exception at.jku.risc.stout.urauc.algo.MaximumIterationException

getPositionIndex() - Method in class at.jku.risc.stout.urauc.data.atom.TermAtom

getPositionString(int, int) - Method in class at.jku.risc.stout.urauc.data.atom.TermAtom

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

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

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

Returns the entire AntiUnifySystem which is encapsulated by this class

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

Returns the right hedge of this AUP.

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

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

The right hedge of the equation.

getRightWord() - Method in class at.jku.risc.stout.urauc.algo.AntiUnifyProblem.CommutativeArrangementIter

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

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

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

getStoreHorizontalS() - Method in class at.jku.risc.stout.urauc.algo.AntiUnifySystem

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

getStoreVerticalQ() - Method in class at.jku.risc.stout.urauc.algo.AntiUnifySystem

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

getVar() - Method in class at.jku.risc.stout.urauc.algo.AntiUnifyProblem.VariableWithHedges

getVerticalPartC() - Method in class at.jku.risc.stout.urauc.algo.AntiUnifyProblem

Returns the vertical abstraction of this AUP.

getVerticalVarC() - Method in class at.jku.risc.stout.urauc.algo.AntiUnifyProblem

Returns the context generalization variable, which is used for vertical abstraction.

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