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

G

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

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

getFirst() - Method in class at.jku.risc.stout.urmc.algo.MatchProblem

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

getInitialSystem() - Method in class at.jku.risc.stout.urmc.algo.MatchAlgorithm

getLeft() - Method in class at.jku.risc.stout.urmc.algo.MatchEquation

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

The left hedge of the equation.

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

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

getNext() - Method in class at.jku.risc.stout.urmc.algo.MatchEquation

getNext() - Method in class at.jku.risc.stout.urmc.algo.MatchSystem

getProblem() - Method in class at.jku.risc.stout.urmc.algo.MatchSystem

getResult() - Method in class at.jku.risc.stout.urmc.algo.MatchAlgorithm

getRight() - Method in class at.jku.risc.stout.urmc.algo.MatchEquation

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

The right hedge of the equation.

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

getSigma() - Method in class at.jku.risc.stout.urmc.algo.MatchSystem

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