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

A

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

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

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

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

Adds a TermNode to the left hedge of the equation.

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

Adds a TermNode to the left hedge of the equation.

addToHedge(TermNode) - Method in class at.jku.risc.stout.urmc.data.atom.NodeFactory

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

apply(Variable, TermNode) - Method in class at.jku.risc.stout.urmc.algo.MatchEquation

apply(Variable, TermNode) - Method in class at.jku.risc.stout.urmc.algo.MatchProblem

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

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

apply(Variable, TermNode) - Method in class at.jku.risc.stout.urmc.algo.MatchSystem

apply(Map<Variable, TermNode>, TermNode) - Method in class at.jku.risc.stout.urmc.data.atom.ContextVar

apply(Map<Variable, TermNode>, TermNode) - Method in class at.jku.risc.stout.urmc.data.atom.FunctionVar

apply(Map<Variable, TermNode>, TermNode) - Method in class at.jku.risc.stout.urmc.data.atom.TermAtom

apply(Map<Variable, TermNode>, TermNode) - Method in class at.jku.risc.stout.urmc.data.atom.Variable

apply(Map<Variable, TermNode>) - Method in class at.jku.risc.stout.urmc.data.Hedge

apply(Map<Variable, TermNode>) - Method in class at.jku.risc.stout.urmc.data.TermNode

Applies a substitution recursively and returns the new TermNode.

at.jku.risc.stout.urmc.algo - package at.jku.risc.stout.urmc.algo

at.jku.risc.stout.urmc.data - package at.jku.risc.stout.urmc.data

This package contains the classes which are needed to build up the term tree.

at.jku.risc.stout.urmc.data.atom - package at.jku.risc.stout.urmc.data.atom

This package contains all the atomic types like Function, TermVar, HedgeVar.

at.jku.risc.stout.urmc.util - package at.jku.risc.stout.urmc.util

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