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
-
- 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