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

A

add(UnifEquation) - Method in class at.jku.risc.stout.uru.algo.UnifProblem
 
add(UnifSystem) - Method in class at.jku.risc.stout.uru.algo.UnifSystemCollection
 
add(TermNode) - Method in class at.jku.risc.stout.uru.data.Hedge
 
addLeft(TermNode) - Method in interface at.jku.risc.stout.uru.data.Equation
Adds a TermNode to the left hedge of the equation.
addRight(TermNode) - Method in interface at.jku.risc.stout.uru.data.Equation
Adds a TermNode to the left hedge of the equation.
addToHedge(TermNode) - Method in class at.jku.risc.stout.uru.data.atom.NodeFactory
 
apply(Substitution) - Method in class at.jku.risc.stout.uru.algo.UnifEquation
 
apply(Variable, TermNode) - Method in class at.jku.risc.stout.uru.algo.UnifEquation
 
apply(Variable, TermNode) - Method in class at.jku.risc.stout.uru.algo.UnifProblem
 
apply(Substitution) - Method in class at.jku.risc.stout.uru.algo.UnifProblem
 
apply(Substitution) - Method in class at.jku.risc.stout.uru.algo.UnifSystem
 
apply(Variable, TermNode) - Method in class at.jku.risc.stout.uru.algo.UnifSystem
 
apply(Map<Variable, TermNode>, TermNode) - Method in class at.jku.risc.stout.uru.data.atom.TermAtom
 
apply(Map<Variable, TermNode>, TermNode) - Method in class at.jku.risc.stout.uru.data.atom.Variable
 
apply(Map<Variable, TermNode>) - Method in class at.jku.risc.stout.uru.data.Hedge
 
apply(Map<Variable, TermNode>) - Method in class at.jku.risc.stout.uru.data.TermNode
Applies a substitution recursively and returns the new TermNode.
at.jku.risc.stout.uru.algo - package at.jku.risc.stout.uru.algo
 
at.jku.risc.stout.uru.data - package at.jku.risc.stout.uru.data
This package contains the classes which are needed to build up the term tree.
at.jku.risc.stout.uru.data.atom - package at.jku.risc.stout.uru.data.atom
This package contains all the atomic types like Function, TermVar, HedgeVar.
at.jku.risc.stout.uru.util - package at.jku.risc.stout.uru.util
 
A C D E F G H I M N O P R S T U V