$ A C D E F G H I J M N O P R S T V W X Y

M

makeAssociative(Set<TermAtom>) - Method in class at.jku.risc.stout.urauc.algo.AntiUnifyProblem

Make some symbols and/or the root hedge commutative.

makeAssociative(Set<TermAtom>, TermAtom) - Method in class at.jku.risc.stout.urauc.data.Hedge

makeAssociative(Set<TermAtom>) - Method in class at.jku.risc.stout.urauc.data.TermNode

makeCommutativ(Set<TermAtom>, boolean) - Method in class at.jku.risc.stout.urauc.algo.AntiUnifyProblem

Make some symbols and/or the root hedge commutative.

makeCommutative(Set<TermAtom>, boolean) - Method in class at.jku.risc.stout.urauc.data.Hedge

makeCommutative(Set<TermAtom>) - Method in class at.jku.risc.stout.urauc.data.TermNode

MalformedTermException - Exception in at.jku.risc.stout.urauc.data

This exception is thrown if something goes wrong while parsing the input term.

MalformedTermException() - Constructor for exception at.jku.risc.stout.urauc.data.MalformedTermException

MalformedTermException(String, Throwable) - Constructor for exception at.jku.risc.stout.urauc.data.MalformedTermException

MalformedTermException(String) - Constructor for exception at.jku.risc.stout.urauc.data.MalformedTermException

MalformedTermException(Throwable) - Constructor for exception at.jku.risc.stout.urauc.data.MalformedTermException

MaximumIterationException - Exception in at.jku.risc.stout.urauc.algo

MaximumIterationException(String, AlignFnc.AlignmentIterator) - Constructor for exception at.jku.risc.stout.urauc.algo.MaximumIterationException

$ A C D E F G H I J M N O P R S T V W X Y