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

G

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

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

getDerivationDepth() - Method in class at.jku.risc.stout.uru.algo.UnifEquation

getFirst() - Method in class at.jku.risc.stout.uru.algo.UnifProblem

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

getInitialSystem() - Method in class at.jku.risc.stout.uru.algo.UnifAlgorithm

getLeft() - Method in class at.jku.risc.stout.uru.algo.UnifEquation

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

The left hedge of the equation.

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

getMaxDerivationDepth() - Method in class at.jku.risc.stout.uru.algo.UnifAlgorithm

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

getNext() - Method in class at.jku.risc.stout.uru.algo.UnifEquation

getNext() - Method in class at.jku.risc.stout.uru.algo.UnifSystem

getProblem() - Method in class at.jku.risc.stout.uru.algo.UnifSystem

getResult() - Method in class at.jku.risc.stout.uru.algo.UnifAlgorithm

getRight() - Method in class at.jku.risc.stout.uru.algo.UnifEquation

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

The right hedge of the equation.

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

getSigma() - Method in class at.jku.risc.stout.uru.algo.UnifSystem

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