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

M

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

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

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

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

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

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

MAPPING_SEPARATOR - Static variable in class at.jku.risc.stout.urmc.algo.Substitution

Default = "; "

match(DebugLevel, PrintStream, PrintStream, boolean) - Method in class at.jku.risc.stout.urmc.algo.MatchAlgorithm

MatchAlgorithm - Class in at.jku.risc.stout.urmc.algo

MatchAlgorithm(MatchSystem) - Constructor for class at.jku.risc.stout.urmc.algo.MatchAlgorithm

MatchEquation - Class in at.jku.risc.stout.urmc.algo

MatchEquation(TermNode, TermNode) - Constructor for class at.jku.risc.stout.urmc.algo.MatchEquation

MatchProblem - Class in at.jku.risc.stout.urmc.algo

MatchProblem() - Constructor for class at.jku.risc.stout.urmc.algo.MatchProblem

MatchSystem - Class in at.jku.risc.stout.urmc.algo

MatchSystem() - Constructor for class at.jku.risc.stout.urmc.algo.MatchSystem

MatchSystem(MatchProblem, Substitution) - Constructor for class at.jku.risc.stout.urmc.algo.MatchSystem

MatchSystemCollection - Class in at.jku.risc.stout.urmc.algo

MatchSystemCollection() - Constructor for class at.jku.risc.stout.urmc.algo.MatchSystemCollection

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